diff options
Diffstat (limited to 'libada/Makefile.in')
| -rw-r--r-- | libada/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libada/Makefile.in b/libada/Makefile.in index 4300765a3bd..e1565e792ec 100644 --- a/libada/Makefile.in +++ b/libada/Makefile.in @@ -47,7 +47,7 @@ gnatlib: $(MAKE) -C ../../gcc $(FLAGS_TO_PASS) $(GNATLIB) # Rules to build gnattools. -gnattools: +gnattools: gnatlib $(MAKE) -C ../../gcc $(FLAGS_TO_PASS) $(GNATTOOLS) # Check uninstalled version. |
