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