Add the -devel switch to Config.

This makes the script use defaults that make development easier.

1 files changed, 3 insertions, 0 deletions

diff --git a/Config b/Config
index c0df999c6..246209036 100755
--- a/Config
+++ b/Config
@@ -149,6 +149,9 @@ while [ $# -ge 1 ] ; do
 		echo "-nointro     Skip intro (disclaimer, etc)"
 		echo "-quick       Skip questions, go straight to cmake"
 		exit 0
+	elif [ $1 = "-devel" ] ; then
+		DEBUG="yes"
+		INSTDIR="$PWD/run"
 	elif [ $1 = "-nocache" ] ; then
 		IGNORE_CACHE="1"
 	elif [ $1 = "-nointro" ] ; then