diff options
-rwxr-xr-x | Config | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |