diff options
Diffstat (limited to 'libada/Makefile.in')
| -rw-r--r-- | libada/Makefile.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/libada/Makefile.in b/libada/Makefile.in index 211e3eb50f1..01759f36881 100644 --- a/libada/Makefile.in +++ b/libada/Makefile.in @@ -95,8 +95,7 @@ gnatlib-sjlj gnatlib-zcx gnatlib-shared: oscons $(GCC_DIR)/ada/Makefile oscons: $(MAKE) -C $(GCC_DIR) THREAD_KIND="$(THREAD_KIND)" \ - $(FLAGS_TO_PASS) \ - ada/s-oscons-$(THREAD_KIND).ads + $(FLAGS_TO_PASS) ada/s-oscons.ads # Check uninstalled version. check: |