9 lines
147 B
Bash
Executable file
9 lines
147 B
Bash
Executable file
#!/usr/bin/env bash
|
|
if [ $# -eq 0 ]; then
|
|
echo "Usage: run.sh [file] [args]*"
|
|
exit 1
|
|
fi
|
|
ff=$1
|
|
./compile.sh $ff
|
|
shift 1
|
|
time "./$ff.out" $*
|