diff options
Diffstat (limited to 'gcc/configure.in')
| -rw-r--r-- | gcc/configure.in | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gcc/configure.in b/gcc/configure.in index dd6acd6192c..c3af386399a 100644 --- a/gcc/configure.in +++ b/gcc/configure.in @@ -4098,11 +4098,12 @@ if test x$enable_haifa != x; then fi # if $(exec_prefix) is not the same as $(prefix), then do not use a relative -# directory to get to $gcc_tooldir. +# directory to get to $gcc_tooldir. Also handle the case where the user did +# not specify a value for exec_prefix. # Don't set gcc_tooldir to tooldir since that's only passed in by the toplevel # make and thus we'd get different behavior depending on where we built the # sources. -if test x$exec_prefix = x$prefix; then +if test x$exec_prefix = xNONE -o x$exec_prefix = x$prefix; then gcc_tooldir='$(libsubdir)/$(unlibsubdir)/../$(target_alias)' else gcc_tooldir='$(exec_prefix)'/${target_alias} |

