diff options
Diffstat (limited to 'gcc/configure.in')
| -rw-r--r-- | gcc/configure.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/configure.in b/gcc/configure.in index 841ee5a3d1f..9a62f5b7333 100644 --- a/gcc/configure.in +++ b/gcc/configure.in @@ -4204,7 +4204,7 @@ gcc_version_full=`grep version_string ${gcc_version_trigger} | sed -e 's/.*\"\([ gcc_version=`echo ${gcc_version_full} | sed -e 's/\([^ ]*\) .*/\1/'` # Compile in configure arguments. -if [ -e configargs.h ]; then +if test -f configargs.h ; then # Being re-configured. gcc_config_arguments=`grep configuration_arguments configargs.h | sed -e 's/.*\"\([^\"]*\)\".*/\1/'` gcc_config_arguments="$gcc_config_arguments : (reconfigured) $TOPLEVEL_CONFIGURE_ARGUMENTS" |