diff options
Diffstat (limited to 'run-make-check.sh')
-rwxr-xr-x | run-make-check.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run-make-check.sh b/run-make-check.sh index 192a4001ff4..2c1f787ff8c 100755 --- a/run-make-check.sh +++ b/run-make-check.sh @@ -59,7 +59,7 @@ function main() { cmake_opts+=" -DWITH_SEASTAR=ON" fi configure $cmake_opts $@ - build tests && echo "make check: successful run on $(git rev-parse HEAD)" + build tests && echo "make check: successful build on $(git rev-parse HEAD)" run } |