diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -79,7 +79,13 @@ build_DUE: | |||
79 | # also run a test that shows whether lanes is successfully loaded or not | 79 | # also run a test that shows whether lanes is successfully loaded or not |
80 | run_unit_tests: build_lanes build_unit_tests build_DUE | 80 | run_unit_tests: build_lanes build_unit_tests build_DUE |
81 | @echo ========================================================================================= | 81 | @echo ========================================================================================= |
82 | $(_PREFIX) $(_UNITTEST_TARGET) -s | 82 | $(_PREFIX) $(_UNITTEST_TARGET) --list-tests |
83 | $(_PREFIX) $(_UNITTEST_TARGET) --rng-seed 0 -s | ||
84 | |||
85 | debug_unit_tests: build_lanes build_unit_tests build_DUE | ||
86 | @echo ========================================================================================= | ||
87 | $(_PREFIX) $(_UNITTEST_TARGET) --list-tests | ||
88 | $(_PREFIX) gdb --args $(_UNITTEST_TARGET) --rng-seed 0 -s "lanes.configure.nb_user_keepers" | ||
83 | 89 | ||
84 | clean: | 90 | clean: |
85 | cd src && $(MAKE) -f Lanes.makefile clean | 91 | cd src && $(MAKE) -f Lanes.makefile clean |