chase-lev-dequeue: fix compiler warning
[model-checker-benchmarks.git] / run.sh
1 #!/bin/sh
2 #
3 # Runs a simple test (default: ./barrier/barrier)
4 # Syntax:
5 #  ./run.sh [test program] [OPTIONS]
6 #  ./run.sh [OPTIONS]
7 #  ./run.sh [gdb [test program]]
8 #
9 # If you include a 'gdb' argument, the your program will be launched with gdb.
10 # You can also supply a test program argument to run something besides the
11 # default program.
12 #
13
14 BIN=./barrier/barrier
15 PREFIX=
16
17 export LD_LIBRARY_PATH=..
18
19 [ $# -gt 0 ] && [ "$1" = "gdb" ] && PREFIX=gdb && shift
20 [ $# -gt 0 ] && [ -x "$1" ] && [ -f "$1" ] && BIN="$1" && shift
21
22 set -x
23 $PREFIX $BIN $@