From c61658249181f54b30da6a096b0e46f620113fec Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Filip=20Str=C3=B6mb=C3=A4ck?= <filip.stromback@liu.se>
Date: Wed, 18 Mar 2020 12:28:41 +0100
Subject: New tool for running single tests in Pintos.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Filip Strömbäck <filip.stromback@liu.se>
---
 src/utils/pintos-single-test | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100755 src/utils/pintos-single-test

(limited to 'src/utils')

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
+
-- 
cgit v1.2.1