From bca697ae31d8238d48dfc64ee488ee47147b57ab Mon Sep 17 00:00:00 2001
From: _yrp <yrp604@yahoo.com>
Date: Sun, 31 Jul 2016 17:03:18 -0700
Subject: [PATCH] Update make-share.sh

On recent Ubuntu, 'time' is provided either by the 'time' package, or as a bash builtin. It's not present in sh, or installed by default. This causes 'pip install keystone-engine' to fail.

So, one of the following needs to happen:
-'time' package is added to the pre-reqs
-switch this script to bash
-remove the 'time' call around make

I've axed the call to 'time', but really whatever you think is best.
---
 make-share.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/make-share.sh b/make-share.sh
index d0e56e1..aff9f04 100755
--- a/make-share.sh
+++ b/make-share.sh
@@ -20,4 +20,4 @@ usage()
 
 cmake -DBUILD_LIBS_ONLY=$BUILD_LIBS_ONLY -DLLVM_BUILD_32_BITS="$LLVM_BUILD_32_BITS" -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" ..
 
-time make -j8
+make -j8
-- 
GitLab