From ef293831845b1e935763241fe1399b161dfe10f0 Mon Sep 17 00:00:00 2001 From: root <root@localhost.localdomain> Date: Tue, 19 Jul 2016 21:35:27 +0800 Subject: [PATCH] make.sh: use . instead of source for better compatibility with Ubuntu shell --- make-lib.sh | 2 +- make-share.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/make-lib.sh b/make-lib.sh index 0eb4f21..855ac9b 100755 --- a/make-lib.sh +++ b/make-lib.sh @@ -14,7 +14,7 @@ usage() echo "" } -source "$(dirname "$0")"/make-common.sh +. "$(dirname "$0")"/make-common.sh cmake -DLLVM_LIBDIR_SUFFIX="$LLVM_LIBDIR_SUFFIX" -DCMAKE_OSX_ARCHITECTURES="$ARCH" -DCMAKE_BUILD_TYPE=$BUILDTYPE -DBUILD_SHARED_LIBS=OFF -DLLVM_TARGETS_TO_BUILD="all" -G "Unix Makefiles" .. diff --git a/make-share.sh b/make-share.sh index 6fc298c..2f41011 100755 --- a/make-share.sh +++ b/make-share.sh @@ -14,7 +14,7 @@ usage() echo "" } -source "$(dirname "$0")"/make-common.sh +. "$(dirname "$0")"/make-common.sh cmake -DLLVM_LIBDIR_SUFFIX="$LLVM_LIBDIR_SUFFIX" -DCMAKE_OSX_ARCHITECTURES="$ARCH" -DCMAKE_BUILD_TYPE=$BUILDTYPE -DBUILD_SHARED_LIBS=ON -DLLVM_TARGETS_TO_BUILD="all" -G "Unix Makefiles" .. -- GitLab