diff options
Diffstat (limited to 'user/Makefile')
| -rw-r--r-- | user/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/user/Makefile b/user/Makefile index 12c9d15..d401b63 100644 --- a/user/Makefile +++ b/user/Makefile @@ -3,5 +3,6 @@ # No binaries, but make sure arg-less "make" doesn't trigger "run_tests" all: -run_tests: all - ./test_user_copy.sh +TEST_PROGS := test_user_copy.sh + +include ../lib.mk |