diff options
Diffstat (limited to 'php')
| -rw-r--r-- | php/Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/php/Makefile b/php/Makefile index e7ea51d..9b91421 100644 --- a/php/Makefile +++ b/php/Makefile @@ -1,13 +1,16 @@ TESTS = -SOURCES = readline.php types.php reader.php printer.php \ - env.php core.php stepA_more.php +SOURCES_BASE = readline.php types.php reader.php printer.php +SOURCES_LISP = env.php core.php stepA_more.php +SOURCES = $(SOURCES_BASE) $(SOURCES_LISP) .PHONY: stats tests $(TESTS) stats: $(SOURCES) @wc $^ +stats-lisp: $(SOURCES_LISP) + @wc $^ tests: $(TESTS) |