configure
changeset 18 0a525189554d
parent 17 a0ce6426f63b
--- a/configure	Wed Jan 20 10:55:43 2016 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,16 +0,0 @@
-#! /bin/sh
-
-prefix=/usr/local
-
-tmp=`getopt -n $0 -o p: -l prefix: -- "$@"`
-eval set -- $tmp
-
-while true; do
-	o="$1"; shift
-	case "$o" in
-		-p|--prefix)	prefix="$1"; shift;;
-		--) break;;
-	esac
-done
-
-perl -pe "s{!prefix!}{$prefix}g" < Makefile.in > Makefile