diff options
| -rwxr-xr-x | do_cmake.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/do_cmake.sh b/do_cmake.sh index 5c15f4b58b6..b2d7594ae91 100755 --- a/do_cmake.sh +++ b/do_cmake.sh @@ -5,7 +5,7 @@ if test -e build; then exit 1 fi -if which ccache ; then +if type ccache > /dev/null 2>&1 ; then echo "enabling ccache" ARGS="$ARGS -DWITH_CCACHE=ON" fi |