diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -37,4 +37,4 @@ check :: tools-only: all check-dejagnu: - cd test; $(MAKE) check-dejagnu $(TEST) + cd test; $(MAKE) check-dejagnu TEST=$(TEST) |