diff --git a/contrib/ChangeLog b/contrib/ChangeLog index 6bb3b6f442e..7575dd9d10d 100644 --- a/contrib/ChangeLog +++ b/contrib/ChangeLog @@ -1,3 +1,7 @@ +2018-03-21 Christophe Lyon + + * test_summary: Match possible single quotes in configure path. + 2018-03-02 Thomas Schwinge * update-copyright.py: Remove "libcilkrts" reference. diff --git a/contrib/test_summary b/contrib/test_summary index 5fc49f52bda..3560a64c4f1 100755 --- a/contrib/test_summary +++ b/contrib/test_summary @@ -103,14 +103,15 @@ BEGIN { NR == 1 { configflags = $0 " "; srcdir = configflags; - sub(/\/configure .*/, "", srcdir); + sub(/\/configure\047? .*/, "", srcdir); + sub(/^\047/, "", srcdir); if ( system("test -f " srcdir "/LAST_UPDATED") == 0 ) { printf "LAST_UPDATED: "; system("tail -1 " srcdir "/LAST_UPDATED"); print ""; } - sub(/^[^ ]*\/configure */, " ", configflags); + sub(/^[^ ]*\/configure\047? */, " ", configflags); sub(/,;t t $/, " ", configflags); sub(/ --with-gcc-version-trigger=[^ ]* /, " ", configflags); sub(/ --norecursion /, " ", configflags);