diff options
Diffstat (limited to 'contrib')
| -rw-r--r-- | contrib/ChangeLog | 1 | ||||
| -rwxr-xr-x | contrib/dg-extract-results.sh | 21 |
2 files changed, 13 insertions, 9 deletions
diff --git a/contrib/ChangeLog b/contrib/ChangeLog index 369bcc5..e5c54c3 100644 --- a/contrib/ChangeLog +++ b/contrib/ChangeLog @@ -1,6 +1,7 @@ 2024-03-11 Sam James <sam@gentoo.org> * dg-extract-results.py: Sync with GCC. + * dg-extract-results.sh: Sync with GCC. 2020-09-25 Simon Marchi <simon.marchi@polymtl.ca> diff --git a/contrib/dg-extract-results.sh b/contrib/dg-extract-results.sh index ff6c50d..539d596 100755 --- a/contrib/dg-extract-results.sh +++ b/contrib/dg-extract-results.sh @@ -6,7 +6,7 @@ # The resulting file can be used with test result comparison scripts for # results from tests that were run in parallel. See usage() below. -# Copyright (C) 2008, 2009, 2010, 2012 Free Software Foundation +# Copyright (C) 2008-2024 Free Software Foundation, Inc. # Contributed by Janis Johnson <janis187@us.ibm.com> # # This file is part of GCC. @@ -28,14 +28,17 @@ PROGNAME=dg-extract-results.sh -# Try to use the python version if possible, since it tends to be faster. +# Try to use the python version if possible, since it tends to be faster and +# produces more stable results. PYTHON_VER=`echo "$0" | sed 's/sh$/py/'` -if test "$PYTHON_VER" != "$0" && - test -f "$PYTHON_VER" && - python -c 'import sys, getopt, re, io, datetime, operator; sys.exit (0 if sys.version_info >= (2, 6) else 1)' \ - > /dev/null 2> /dev/null; then - exec python $PYTHON_VER "$@" -fi +for python in python3 python python2 ; do + if test "$PYTHON_VER" != "$0" && + test -f "$PYTHON_VER" && + ${python} -c 'import sys, getopt, re, io, datetime, operator; sys.exit (0 if sys.version_info >= (2, 6) else 1)' \ + > /dev/null 2> /dev/null; then + exec ${python} $PYTHON_VER "$@" + fi +done usage() { cat <<EOF >&2 @@ -271,7 +274,7 @@ cat $SUM_FILES \ # Write the begining of the combined summary file. -head -n 2 $FIRST_SUM +head -n 3 $FIRST_SUM echo echo " === $TOOL tests ===" echo |