diff options
Diffstat (limited to 'php')
| -rw-r--r-- | php/Makefile | 2 | ||||
| -rw-r--r-- | php/stepA_mal.php (renamed from php/stepA_interop.php) | 0 | ||||
| -rw-r--r-- | php/tests/stepA_mal.mal (renamed from php/tests/stepA_interop.mal) | 0 |
3 files changed, 1 insertions, 1 deletions
diff --git a/php/Makefile b/php/Makefile index d9fd2d4..659e89c 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_interop.php +SOURCES_LISP = env.php core.php stepA_mal.php SOURCES = $(SOURCES_BASE) $(SOURCES_LISP) .PHONY: stats tests $(TESTS) diff --git a/php/stepA_interop.php b/php/stepA_mal.php index 1dc3b04..1dc3b04 100644 --- a/php/stepA_interop.php +++ b/php/stepA_mal.php diff --git a/php/tests/stepA_interop.mal b/php/tests/stepA_mal.mal index 15f8a94..15f8a94 100644 --- a/php/tests/stepA_interop.mal +++ b/php/tests/stepA_mal.mal |