add option to disable processor specific optimisations

2016-10-07 15:49:01 +02:00 · 2016-10-07 15:49:01 +02:00 · d08fe7fa4d
parent 5c6b840442
commit d08fe7fa4d
1 changed files with 5 additions and 0 deletions
--- a/Installation/Jenkins/build.sh
+++ b/Installation/Jenkins/build.sh
@ -210,6 +210,11 @@ while [ $# -gt 0 ];  do
            shift
            ;;

+        --noopt)
+            CONFIGURE_OPTIONS="${CONFIGURE_OPTIONS} -DUSE_OPTIMIZE_FOR_ARCHITECTURE=Off"
+            shift
+            ;;
+        
        --coverage)
            TAR_SUFFIX="-coverage"
            COVERAGE=1