diff options
| -rw-r--r-- | BUILD/FINISH.sh | 3 | ||||
| -rwxr-xr-x | BUILD/SETUP.sh | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/BUILD/FINISH.sh b/BUILD/FINISH.sh index ea5ca44d187..fd51f2f5dfe 100644 --- a/BUILD/FINISH.sh +++ b/BUILD/FINISH.sh @@ -61,7 +61,8 @@ if [ -z "$just_configure" -a -z "$just_clean" ] then commands="$commands -$make $AM_MAKEFLAGS $AM_EXTRA_MAKEFLAGS" +$make $AM_MAKEFLAGS $AM_EXTRA_MAKEFLAGS +$make tags" if [ "x$strip" = "xyes" ] then diff --git a/BUILD/SETUP.sh b/BUILD/SETUP.sh index 041749784ce..bc4c65d5f6b 100755 --- a/BUILD/SETUP.sh +++ b/BUILD/SETUP.sh @@ -276,7 +276,7 @@ then CCACHE_GCOV_VERSION_ENABLED=1 fi -if ccache -V > /dev/null 2>&1 && test "$CCACHE_GCOV_VERSION_ENABLED" = "1" +if ccache -V > /dev/null 2>&1 && test "$CCACHE_GCOV_VERSION_ENABLED" = "1" && test "$CC" = "gcc" then if test -x /usr/lib64/ccache/gcc then |