diff options
| author | Norbert Pueschel <pueschel@imsdd.meb.uni-bonn.de> | 1997-01-28 23:11:17 +1200 |
|---|---|---|
| committer | Chip Salzenberg <chip@atlantic.net> | 1997-01-29 18:11:00 +1200 |
| commit | bab462559b9df592ecbca9af26b07b60bf026c40 (patch) | |
| tree | d5b29db188080fb03417e6af78319bbd4a3cc919 /configure.gnu | |
| parent | aa7e9289d521a390f0002e9df061b76cfaaa445e (diff) | |
| download | perl-bab462559b9df592ecbca9af26b07b60bf026c40.tar.gz | |
Make configure{,.gnu} ignore --cache-file option
Diffstat (limited to 'configure.gnu')
| -rwxr-xr-x | configure.gnu | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/configure.gnu b/configure.gnu index 868e454111..30af30d30f 100755 --- a/configure.gnu +++ b/configure.gnu @@ -46,6 +46,7 @@ It emulates the following GNU configure options (must be fully spelled out): --help --no-create --prefix=PREFIX + --cache-file (ignored) --quiet --silent --verbose @@ -64,6 +65,9 @@ EOM opts="$opts $arg" shift ;; + --cache-file=*) + shift # Just ignore it. + ;; --quiet|--silent) exec >/dev/null 2>&1 shift |