diff options
Diffstat (limited to 'contrib/test_summary')
| -rwxr-xr-x | contrib/test_summary | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/contrib/test_summary b/contrib/test_summary index a959078f1e1..98664359bc2 100755 --- a/contrib/test_summary +++ b/contrib/test_summary @@ -103,6 +103,7 @@ BEGIN { configflags == "" { configflags = $0 " "; sub(/^# /, "", configflags); + sub(/^s,@TOPLEVEL_CONFIGURE_ARGUMENTS@,/, "", configflags); srcdir = configflags; sub(/\/configure .*/, "", srcdir); printf "LAST_UPDATED: "; @@ -110,6 +111,7 @@ configflags == "" { print ""; sub(/^[^ ]*\/configure */, " ", configflags); + sub(/,;t t $/, " ", configflags); sub(/ --with-gcc-version-trigger=[^ ]* /, " ", configflags); sub(/ --norecursion /, " ", configflags); sub(/ $/, "", configflags); |