diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -1,8 +1,11 @@ #!/bin/bash VERSION=0.17 -prefix=/usr/local profile=stable +prefix=NONE +test -e "$CONFIG_SITE" && . "$CONFIG_SITE" +test "$prefix" = NONE && prefix=/usr/local + usage () { echo "Usage : configure [--prefix=PREFIX] [--profile=PROFILE]" |