diff options
| author | Slaven Rezic <slaven@rezic.de> | 2003-07-10 09:33:27 +0000 |
|---|---|---|
| committer | Jarkko Hietaniemi <jhi@iki.fi> | 2003-07-24 07:53:33 +0000 |
| commit | 2b258320efdd40bb30c1abc65cbc7af7c74d3f3d (patch) | |
| tree | b832d55535b89a0eb349713dc6549bef140c003f /configure.gnu | |
| parent | 64222d737f7f4bf669dcd822491f13de376b9ee5 (diff) | |
| download | perl-2b258320efdd40bb30c1abc65cbc7af7c74d3f3d.tar.gz | |
configure.gnu --prefix
Message-Id: <1057829607.9622@devpc01.iconmobile.de>
p4raw-id: //depot/perl@20187
Diffstat (limited to 'configure.gnu')
| -rwxr-xr-x | configure.gnu | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/configure.gnu b/configure.gnu index 46cc494fd6..efffde598a 100755 --- a/configure.gnu +++ b/configure.gnu @@ -71,6 +71,12 @@ EOM opts="$opts $arg" shift ;; + --prefix) + shift + arg="-Dprefix=$1" + opts="$opts $arg" + shift + ;; --cache-file=*) shift # Just ignore it. ;; |