|
|
@ -12,7 +12,7 @@ log="$experiment_directory/log.csv"
|
|
|
|
|
|
|
|
|
|
|
|
if [ "$1" != "-d" ]; then
|
|
|
|
if [ "$1" != "-d" ]; then
|
|
|
|
SLEDGE_SANDBOX_PERF_LOG=$log PATH="$binary_directory:$PATH" LD_LIBRARY_PATH="$binary_directory:$LD_LIBRARY_PATH" sledgert "$experiment_directory/spec.json" &
|
|
|
|
SLEDGE_SANDBOX_PERF_LOG=$log PATH="$binary_directory:$PATH" LD_LIBRARY_PATH="$binary_directory:$LD_LIBRARY_PATH" sledgert "$experiment_directory/spec.json" &
|
|
|
|
sleep 1
|
|
|
|
sleep 2
|
|
|
|
else
|
|
|
|
else
|
|
|
|
echo "Running under gdb"
|
|
|
|
echo "Running under gdb"
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|