diff options
| author | Sven Gothel <[email protected]> | 2020-10-21 18:07:06 +0200 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2020-10-21 18:07:06 +0200 |
| commit | 84d1ea116dc0271c6916478e221f890fc1499fbb (patch) | |
| tree | 1f5bacb5df45de1ba0bd7d3a7327ccc9218cd1f4 /scripts | |
| parent | bc5b9519034edfa7a24a6667d183f3a3b01f3867 (diff) | |
cmake: Expose different instrumentation (-fsanitize=) modules
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/build.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/build.sh b/scripts/build.sh index cd381fc1..678c039c 100644 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -31,6 +31,8 @@ buildit() { cmake $CLANG_ARGS -DCMAKE_INSTALL_PREFIX=$rootdir/dist-$archabi -DBUILDJAVA=ON -DBUILDEXAMPLES=ON -DBUILD_TESTING=ON .. # cmake $CLANG_ARGS -DCMAKE_INSTALL_PREFIX=$rootdir/dist-$archabi -DBUILDJAVA=ON -DBUILDEXAMPLES=ON -DBUILD_TESTING=ON -DDEBUG=ON .. # cmake $CLANG_ARGS -DCMAKE_INSTALL_PREFIX=$rootdir/dist-$archabi -DBUILDJAVA=ON -DBUILDEXAMPLES=ON -DBUILD_TESTING=ON -DDEBUG=ON -DINSTRUMENTATION=ON .. + # cmake $CLANG_ARGS -DCMAKE_INSTALL_PREFIX=$rootdir/dist-$archabi -DBUILDJAVA=ON -DBUILDEXAMPLES=ON -DBUILD_TESTING=ON -DDEBUG=ON -DINSTRUMENTATION_UNDEFINED=ON .. + # cmake $CLANG_ARGS -DCMAKE_INSTALL_PREFIX=$rootdir/dist-$archabi -DBUILDJAVA=ON -DBUILDEXAMPLES=ON -DBUILD_TESTING=ON -DDEBUG=ON -DINSTRUMENTATION_THREAD=ON .. make -j $CPU_COUNT install test if [ $? -eq 0 ] ; then echo "BUILD SUCCESS $bname $archabi" |