#!/bin/sh set -e fail () { echo >&2 "$*"; exit 127; } badusage () { fail 'usage: makedim []'; } case $1 in [0-9][0-9]) ;; *) badusage ;; esac dim=$1; shift dir=dim,$dir x () { echo >&2 " $*"; "$@"; } x make clean >/dev/null x mkdir -p $dir x make -C $dir DIMCFLAGS=-DDEFBITS=$dim PERLLIB=.. SGTATHAM=../sgtatham VPATH=.. -f ../Makefile "$@"