25 lines
426 B
Bash
Executable file
25 lines
426 B
Bash
Executable file
#!/bin/bash
|
|
|
|
set -e
|
|
|
|
if [ "$#" -ne 1 ]; then
|
|
echo "Usage: $0 <Number of exercise>"
|
|
exit;
|
|
fi
|
|
|
|
exnum="$1"
|
|
|
|
dir="$(dirname -- "${BASH_SOURCE[0]}")"
|
|
cd "$dir"
|
|
|
|
ant clean
|
|
ant "-Ddislclass=ex$exnum.Instrumentation"
|
|
|
|
printf "\e[32mRunning without instrumentation...\e[0m\n"
|
|
time ./run.sh "ex$exnum.Main"
|
|
./startDiSLServer.sh
|
|
sleep 1
|
|
printf "\e[32mRunning WITH instrumentation...\e[0m\n"
|
|
time ./runInstrumented.sh "ex$exnum.Main"
|
|
|
|
|