quality-improvements: fix cbmc script on osx
@@ -20,7 +20,11 @@ set -ex
ARG="--depth 200 -D ELEKTRA_BMC"
EINC="-I $EDIR/src/include -I $BDIR/src/include"
-YINC="-I /usr/include/yajl -I $BDIR/src/plugins/yajl"
+if stringContain "Darwin" "$(uname)"; then
+ YINC="-I /usr/local/include/yajl -I $BDIR/src/plugins/yajl"
+yelse
+ YINC="-I /user/include/yajl -I $BDIR/src/plugins/yajl"
+fi
cd $EDIR/src/plugins/yajl
cbmc --function elektraYajlSet $ARG $YINC $EINC yajl_gen.c
