diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/configure b/configure deleted file mode 100755 index 92ee62d1..00000000 --- a/configure +++ /dev/null @@ -1,28 +0,0 @@ -#!/bin/bash - -cd $(dirname $0) - -TEMP=`getopt -o "" --long prefix:,enable-sslv2 -n "$0" -- "$@"` - -if [ $? != 0 ]; then exit 1; fi - -eval set -- "$TEMP" - -PREFIX=/usr/lib -RUSTCFGS= - -while true ; do - case "$1" in - --prefix) PREFIX=$2; shift 2;; - --enable-sslv2) - RUSTCFGS="$RUSTCFGS --cfg sslv2" - shift - break - ;; - --) shift; break;; - esac -done - -sed -e "s|%PREFIX%|$PREFIX|" \ - -e "s|%RUSTCFGS%|$RUSTCFGS|" \ - < Makefile.in > Makefile |