diff --git a/make-lib.sh b/make-lib.sh index d4f27e62f443d241d4a9a93b1de932f33b3edd97..200cef44c33c1bd9566526ac9aeb6a1a5a5b0efa 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 1cb6b58a9425d0f4b552db36d2422807772b1abd..a2358a0c67537bd2e8ec6d377371921b9676f43a 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