+if [ -z "$1" ]
+ then
+ echo "No Sanitizer type selected - run Address"
+ SANITIZER="address"
+else
+ SANITIZER=$1
+fi
+
+
+if [ "${SANITIZER}" = "address" ]
+then
+ export ASAN_OPTIONS="suppressions=$WORKSPACE/tools/sanitizers.supp"
+ SANITIZER_OPTIONS="-Denable_address_sanitizer=ON -Denable_undefined_sanitizer=OFF -Denable_thread_sanitizer=OFF"
+elif [ "${SANITIZER}" = "thread" ]
+then
+ export TSAN_OPTIONS="memory_limit_mb=1500"
+ SANITIZER_OPTIONS="-Denable_address_sanitizer=OFF -Denable_undefined_sanitizer=OFF -Denable_thread_sanitizer=ON"
+elif [ "${SANITIZER}" = "undefined" ]
+then
+ export UBSAN_OPTIONS="print_stacktrace=1"
+ SANITIZER_OPTIONS="-Denable_address_sanitizer=OFF -Denable_undefined_sanitizer=ON -Denable_thread_sanitizer=OFF"
+else
+ die "Unknown Sanitizer type selected ${SANITIZER} - Exiting"
+fi
+
+
+