diff options
| author | Slaven Rezic <slaven@rezic.de> | 2003-07-10 09:33:27 +0000 |
|---|---|---|
| committer | Jarkko Hietaniemi <jhi@iki.fi> | 2003-07-10 17:37:25 +0000 |
| commit | 2067d406dfdc5c7705c2bb3c4cd5970390747e10 (patch) | |
| tree | 9d8853a468ccfc7c32800f73f3004988186093eb /configure.gnu | |
| parent | 2b1d54e56963cfc0f0bdfe890c87eeb20bb70fc1 (diff) | |
| download | perl-2067d406dfdc5c7705c2bb3c4cd5970390747e10.tar.gz | |
configure.gnu --prefix
Message-Id: <1057829607.9622@devpc01.iconmobile.de>
p4raw-id: //depot/perl@20119
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 037d6ca6fb..46cc494fd6 100755 --- a/configure.gnu +++ b/configure.gnu @@ -65,6 +65,12 @@ EOM opts="$opts $arg" shift ;; + --prefix) + shift + arg="-Dprefix=$1" + opts="$opts $arg" + shift + ;; --cache-file=*) shift # Just ignore it. ;; |