diff options
author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2018-06-27 12:33:24 +0000 |
---|---|---|
committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2018-10-02 11:07:15 +0000 |
commit | 18700cbbfa7b2c0a8a21947b01fae1748bbdcae2 (patch) | |
tree | bbbecedfb4235fe5a474728df7442a1c3fd7e1e1 /gcc/configure.ac | |
parent | 0378e2ec3fc15a72e543b336d1ea4d3677c569ef (diff) |
Merge branches/gcc-7-branch rev 262169.
Change-Id: Ia4e0d5dab9b29367e5f61b6ebd65fa0c318dda86
Diffstat (limited to 'gcc/configure.ac')
-rw-r--r-- | gcc/configure.ac | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/configure.ac b/gcc/configure.ac index 0cdbf8e7a9e..cf21b8f879e 100644 --- a/gcc/configure.ac +++ b/gcc/configure.ac @@ -6300,8 +6300,10 @@ AC_DEFINE_UNQUOTED(DIAGNOSTICS_COLOR_DEFAULT, $DIAGNOSTICS_COLOR_DEFAULT, # Generate gcc-driver-name.h containing GCC_DRIVER_NAME for the benefit # of jit/jit-playback.c. +gcc_driver_version=`eval "${get_gcc_base_ver} $srcdir/BASE-VER"` +echo "gcc_driver_version: ${gcc_driver_version}" cat > gcc-driver-name.h <<EOF -#define GCC_DRIVER_NAME "${target_noncanonical}-gcc-${gcc_BASEVER}${exeext}" +#define GCC_DRIVER_NAME "${target_noncanonical}-gcc-${gcc_driver_version}${exeext}" EOF # Check whether --enable-default-pie was given. |