missed files for the latter commit

[cvc5.git] / Makefile.builds.in

diff --git a/Makefile.builds.in b/Makefile.builds.in
index 33df24f95c08a7e5168fede73e299f13e578c7bb..296e5a9746cc75c86edfff64d78a6892952a060c 100644 (file)
--- a/Makefile.builds.in
+++ b/Makefile.builds.in
@@ -192,12 +192,12 @@ endif
 
 # The descent into "src" with target "check" is to build check
 # prerequisites (e.g. CHECK_PROGRAMS, CHECK_LTLIBRARIES, ...).
-check test units:
+check test units: all
        (cd $(CURRENT_BUILD)/src && $(MAKE) check)
        +(cd $(CURRENT_BUILD)/test && $(MAKE) $@)
 systemtests regress: all
        +(cd $(CURRENT_BUILD)/test && $(MAKE) $@)
-units%:
+units%: all
        (cd $(CURRENT_BUILD)/src && $(MAKE) check)
        +(cd $(CURRENT_BUILD)/test && $(MAKE) units TEST_PREFIX=$(subst units:,,$@))
 regress%: all