diff options
Diffstat (limited to 'gcc/configure')
| -rwxr-xr-x | gcc/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/configure b/gcc/configure index fe71c2a63c6..6c9ffe2598c 100755 --- a/gcc/configure +++ b/gcc/configure @@ -8913,7 +8913,7 @@ done rm -f Make-hooks touch Make-hooks -target_list="all.build all.cross start.encap rest.encap \ +target_list="all.build all.cross start.encap rest.encap tags \ info dvi generated-manpages \ install-normal install-common install-info install-man \ uninstall \ |