#!/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