From: Ian Jackson Date: Wed, 16 Jan 2008 18:34:08 +0000 (+0000) Subject: get rid of makedim multidim experiment X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=moebius2.git;a=commitdiff_plain;h=643eca14b9d7b6f9bfab24030cec1ccfd4df8ff0;ds=sidebyside get rid of makedim multidim experiment --- diff --git a/Makefile b/Makefile index af7486d..9b8d469 100644 --- a/Makefile +++ b/Makefile @@ -43,6 +43,5 @@ clean: realclean: clean rm -f best - rm -rf dim,* -include *.d diff --git a/makedim b/makedim deleted file mode 100755 index 8f5da37..0000000 --- a/makedim +++ /dev/null @@ -1,18 +0,0 @@ -#!/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 "$@"