From 643eca14b9d7b6f9bfab24030cec1ccfd4df8ff0 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ian@davenant.relativity.greenend.org.uk>
Date: Wed, 16 Jan 2008 18:34:08 +0000
Subject: [PATCH] get rid of makedim multidim experiment

---
 Makefile |  1 -
 makedim  | 18 ------------------
 2 files changed, 19 deletions(-)
 delete mode 100755 makedim

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 <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 "$@"
-- 
2.30.2