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