diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -2452,11 +2452,11 @@ serialization_dependencies=serdep.tmp # down to subconfigures. baseargs=`echo " ${ac_configure_args} " | \ sed -e 's/ --no[^ ]* / /' \ - -e 's/ --cache[a-z-]*=[^ ]* / /' \ - -e 's/ --sr[a-z-]*=[^ ]* / /' \ - -e 's/ --ho[a-z-]*=[^ ]* / /' \ - -e 's/ --bu[a-z-]*=[^ ]* / /' \ - -e 's/ --ta[a-z-]*=[^ ]* / /' \ + -e 's/ \(--c[a-z-]*\|-cache-file\)[= ][^ ]* / /' \ + -e 's/ \(--sr[a-z-]*\|-srcdir\)[= ][^ ]* / /' \ + -e 's/ \(--ho[a-z-]*\|-host\)[= ][^ ]* / /' \ + -e 's/ \(--bu[a-z-]*\|-build\)[= ][^ ]* / /' \ + -e 's/ \(--t[a-z-]*\|-target\)[= ][^ ]* / /' \ -e 's/ [^ -][^ ]* / /' \ -e 's/^ *//;s/ *$//'` |