diff options
Diffstat (limited to 'BUILD/FINISH.sh')
| -rw-r--r-- | BUILD/FINISH.sh | 3 |
1 files changed, 2 insertions, 1 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 |