Add header file dependencies to build script.

[libcds.git] / build / build.sh

diff --git a/build/build.sh b/build/build.sh
old mode 100755 (executable)
new mode 100644 (file)
index 043f5d9..98a70ba
--- a/build/build.sh
+++ b/build/build.sh
@@ -17,7 +17,7 @@ usage()
     echo "Build helper script for one of the supported platforms"
     echo "Usage: build.sh \"options\""
     echo "       where options may be any of the following:"
-    echo "       -t make target"
+    echo "       -t <target> make target"
     echo "       -c <C compiler name> Possible values are: gcc,clang,icc"
     echo "       -x <C++ compiler name> (e.g. g++, CC)"
     echo "       -p <Processor architecture> Possible values are:"
@@ -453,7 +453,7 @@ cxx_debug_options="-D_DEBUG -O0 -g $cxx_debug_options"
 cxx_release_options="-DNDEBUG $cxx_release_optimization $cxx_release_options"
 
 
-if test '$BOOST_INCLUDE_PATH' != ''; then
+if test 'x$BOOST_INCLUDE_PATH' != 'x'; then
        buildCXXflags="$buildCXXflags -I$BOOST_INCLUDE_PATH"
 fi
 
@@ -576,11 +576,8 @@ if test $MAKE_DEBUG_TEST = '0'; then
         platform=$OS_FAMILY \
         BIN_PATH=$BIN_PATH \
         OBJ_PATH=$OBJ_PATH/test \
-        $target
-        
-    if [ $? -ne 0 ]; then
-        exit $?
-    fi
+        $target \
+     || exit $?
 fi    
 
 echo ---------------------------------
@@ -598,10 +595,7 @@ if test $MAKE_DEBUG_TEST = '1'; then
         platform=$OS_FAMILY \
         BIN_PATH=$BIN_PATH \
         OBJ_PATH=$OBJ_PATH/test-debug \
-        $target
-        
-    if [ $? -ne 0 ]; then
-        exit $?
-    fi
+        $target \
+     || exit $?
 fi   
- 
\ No newline at end of file
+