summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xConfig4
1 files changed, 2 insertions, 2 deletions
diff --git a/Config b/Config
index 4102e1c3e..a6789f092 100755
--- a/Config
+++ b/Config
@@ -56,9 +56,9 @@ Run_Build_System () {
fi
if [ "$DEBUG" = "yes" ] ; then
- BUILD_TYPE="-DCMAKE_BUILD_TYPE:STRING=DEBUG"
+ BUILD_TYPE="-DCMAKE_BUILD_TYPE:STRING=DEBUG -Wdev"
else
- BUILD_TYPE="-DCMAKE_BUILD_TYPE:STRING=RELEASE"
+ BUILD_TYPE="-DCMAKE_BUILD_TYPE:STRING=RELEASE -Wno-dev"
fi
if [ "$EXTRA_INCLUDE_DIRS" != "" ] ; then