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 452723b7a40..e8ca515f82b 100644 --- a/libada/Makefile.in +++ b/libada/Makefile.in @@ -94,7 +94,7 @@ gnatlib-sjlj gnatlib-zcx gnatlib-shared: oscons $(GCC_DIR)/ada/Makefile && touch stamp-libada oscons: - $(MAKE) -C $(GCC_DIR) THREAD_KIND="$(THREAD_KIND)" ada/s-oscons.ads + $(MAKE) -C $(GCC_DIR) THREAD_KIND="$(THREAD_KIND)" ada/s-oscons-$(THREAD_KIND).ads # Check uninstalled version. check: |