diff options
-rwxr-xr-x | configure | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -129,6 +129,13 @@ parse_opts() { --dev) WITH_DOCS=0 WITH_FAUXTON=0 + shift + continue + ;; + + --dev-with-nouveau) + WITH_DOCS=0 + WITH_FAUXTON=0 WITH_NOUVEAU=1 shift continue |