diff --git a/com.ibm.wala.cast/source/c/cbuild.sh b/com.ibm.wala.cast/source/c/cbuild.sh index 65596dc83..fd6a5f7f0 100644 --- a/com.ibm.wala.cast/source/c/cbuild.sh +++ b/com.ibm.wala.cast/source/c/cbuild.sh @@ -1,7 +1,8 @@ #!/bin/bash -C_DIR=`realpath $0` -CAST_DIR=`realpath $C_DIR/../../..` +SCRIPT=`realpath $0` +C_DIR=`dirname $SCRIPT` +CAST_DIR=`realpath $C_DIR/../..` pushd $CAST_DIR/source/c