From 07d9313064b7c5ca9ee1d3275054c01bd6790f7a Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Fri, 7 Oct 2022 11:24:04 +0200
Subject: [PATCH] Add sort step if needed in the test driver

---
 test/ovni-driver.sh | 9 +++++++++
 1 file changed, 9 insertions(+)

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"