diff --git a/make-lib.sh b/make-lib.sh index d4f27e62..200cef44 100755 --- a/make-lib.sh +++ b/make-lib.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/sh -ex cmake -DCMAKE_BUILD_TYPE=Release -DBUILD_SHARED_LIBS=OFF -DLLVM_TARGETS_TO_BUILD="all" -G "Unix Makefiles" .. time make -j8 diff --git a/make-share.sh b/make-share.sh index 1cb6b58a..a2358a0c 100755 --- a/make-share.sh +++ b/make-share.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/sh -xe cmake -DCMAKE_BUILD_TYPE=Release -DBUILD_SHARED_LIBS=ON -DLLVM_TARGETS_TO_BUILD="all" -G "Unix Makefiles" .. time make -j8