New tool for running single tests in Pintos.

Signed-off-by: Filip Strömbäck <filip.stromback@liu.se>

1 files changed, 28 insertions, 0 deletions

diff --git a/src/utils/pintos-single-test b/src/utils/pintos-single-test
new file mode 100755
index 0000000..a18d303
--- /dev/null
+++ b/src/utils/pintos-single-test
@@ -0,0 +1,28 @@
+#!/bin/bash
+
+if [[ $# < 1 ]]
+then
+    echo "Run a single Pintos test."
+    echo "Please supply the name of the test to run, for example: tests/userprog/read-zero"
+    exit 1
+fi
+
+VERBOSE=""
+if [[ "$1" == "VERBOSE" ]]
+then
+    VERBOSE="VERBOSE=1"
+    shift
+fi
+
+if [[ -e build ]]
+then
+    cd build/
+fi
+
+if [[ -f $1.result ]]
+then
+    rm $1.result
+fi
+
+make $1.result $VERBOSE
+