diff --git a/test/ovni-driver.sh b/test/ovni-driver.sh index 0e90554..fdcf451 100755 --- a/test/ovni-driver.sh +++ b/test/ovni-driver.sh @@ -4,11 +4,16 @@ set -e +if [ -n "$OVNI_TEST_VERBOSE" ]; then + set -x +fi + dir=$(readlink -f "${OVNI_CURRENT_DIR}") testname="$dir/$1" workdir="${testname}.trace" tracedir="${workdir}/ovni" emubin="${OVNI_BUILD_DIR}/ovniemu" +sortbin="${OVNI_BUILD_DIR}/ovnisort" mkdir -p "${workdir}" cd "${workdir}" @@ -29,6 +34,10 @@ else "$testname" fi +if [ -n "$OVNI_DO_SORT" ]; then + "$sortbin" "$tracedir" +fi + # Then launch the emulator in lint mode "$emubin" -l "$tracedir"