diff --git a/test/all_tests.sh b/test/clean_coverage.sh similarity index 74% rename from test/all_tests.sh rename to test/clean_coverage.sh index 1c1168e..4a69a6a 100755 --- a/test/all_tests.sh +++ b/test/clean_coverage.sh @@ -24,11 +24,3 @@ for FILE in $OLD_FILES; do echo "$0: removing old coverage file '$FILE'" rm $FILE done - -cd $ORIGINAL_PATH - -# build the package -catkin build # it has to be fully built normally before building with --catkin-make-args tests -catkin build --catkin-make-args tests - -catkin test -i -p 1 -s diff --git a/test/coverage.sh b/test/gather_coverage.sh similarity index 100% rename from test/coverage.sh rename to test/gather_coverage.sh diff --git a/test/run_tests.sh b/test/run_tests.sh new file mode 100755 index 0000000..2250961 --- /dev/null +++ b/test/run_tests.sh @@ -0,0 +1,12 @@ +#!/bin/bash + +set -e + +trap 'last_command=$current_command; current_command=$BASH_COMMAND' DEBUG +trap 'echo "$0: \"${last_command}\" command failed with exit code $?"' ERR + +# build the packages +catkin build # it has to be fully built normally before building with --catkin-make-args tests +catkin build -DMRS_ENABLE_TESTING=1 --catkin-make-args tests + +catkin test -i -p 1 -s