chiark / gitweb /
get rid of makedim multidim experiment
authorIan Jackson <ian@davenant.relativity.greenend.org.uk>
Wed, 16 Jan 2008 18:34:08 +0000 (18:34 +0000)
committerIan Jackson <ian@davenant.relativity.greenend.org.uk>
Wed, 16 Jan 2008 18:34:08 +0000 (18:34 +0000)
Makefile
makedim [deleted file]

index af7486da4c0eed0e80cd6e0938b21495db05d6cc..9b8d469e1fce744bfaee6a7a5bdb29ec93be224d 100644 (file)
--- 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 (executable)
index 8f5da37..0000000
--- a/makedim
+++ /dev/null
@@ -1,18 +0,0 @@
-#!/bin/sh
-set -e
-fail () { echo >&2 "$*"; exit 127; }
-badusage () { fail 'usage: makedim <xbits><ybits> [<targets>]'; }
-
-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 "$@"