src/utils/pintos-single-test


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
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