diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 28 |
1 files changed, 0 insertions, 28 deletions
@@ -26,16 +26,9 @@ TARGET=`uname -s` CFLAGS='-g -O2' LDFLAGS='-g -Wall -O2' -PREFIX='/usr/local' -USERNAME='rhctl' -USERHOME='/var/run/rhctl' - print_usage() { echo "configure --help print this" echo " --target=<TARGET> build target i.e. Linux (default: autodetect)" - echo " --prefix=<PREFIX> the installation prefix (default: /usr/local)" - echo " --username=<USERNAME> create this user when installing (default: rhctl)" - echo " --userhome=<PATH> the home directory of the user to be created (default: /var/run/rhctl)" } for arg @@ -44,15 +37,6 @@ do --target=*) TARGET=${arg#--target=} ;; - --prefix=*) - PREFIX=${arg#--prefix=} - ;; - --username=*) - USERNAME=${arg#--username=} - ;; - --userhome=*) - USERHOME=${arg#--userhome=} - ;; --help) print_usage exit 0 @@ -81,12 +65,6 @@ case $TARGET in ;; esac -if [ "x$PREFIX" = "x/usr" ]; then - ETCDIR=/etc -else - ETCDIR=$PREFIX/etc -fi - cat >> include.mk <<EOF # this file was created automatically # do not edit this file directly @@ -96,12 +74,6 @@ TARGET := $TARGET CC := gcc CFLAGS := $CFLAGS LDFLAGS := $LDFLAGS - -SBINDIR := $PREFIX/sbin -MANDIR := $PREFIX/share/man -ETCDIR := $ETCDIR -USERNAME := $USERNAME -USERHOME := $USERHOME EOF exit 0 |