source src/script/run-make.sh
+set -e
+
function run() {
# to prevent OSD EMFILE death on tests, make sure ulimit >= 1024
$DRY_RUN ulimit -n $(ulimit -Hn)
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
}