15 lines
226 B
Bash
Executable File
15 lines
226 B
Bash
Executable File
#!/bin/sh
|
|
|
|
cd "$(dirname "$0")" || exit 1
|
|
|
|
if test "$#" -ne 0; then
|
|
echo "usage: run.sh" >&2
|
|
exit 1
|
|
fi
|
|
|
|
if ! test -x ./strans; then
|
|
echo "run.sh: ./strans is not executable; run make first" >&2
|
|
exit 1
|
|
fi
|
|
exec ./strans map
|