summaryrefslogtreecommitdiff
path: root/Config
diff options
context:
space:
mode:
Diffstat (limited to 'Config')
-rwxr-xr-xConfig3
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