Add new configure option and restore --dev behavior (#4582)

1 files changed, 7 insertions, 0 deletions

diff --git a/configure b/configure
index 10d1d57ff..6c6877105 100755
--- a/configure
+++ b/configure
@@ -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