diff options
| author | Josh Wainwright <josh.wainwright@ldra.com> | 2016-04-21 09:05:10 +0100 |
|---|---|---|
| committer | Josh Wainwright <josh.wainwright@ldra.com> | 2016-04-21 09:05:10 +0100 |
| commit | 2b18735726cd92be87e20f30680d85e7f0f1a3b2 (patch) | |
| tree | 7dfd6c5279ea9a3794d005941ac334d9a9b69099 /lua/Makefile | |
| parent | a4f927716f69cc56d20b7960d345dc9d91cebbf5 (diff) | |
| download | vis-2b18735726cd92be87e20f30680d85e7f0f1a3b2.tar.gz vis-2b18735726cd92be87e20f30680d85e7f0f1a3b2.tar.xz | |
Use .status files instead of .true files and write error to .err file
Diffstat (limited to 'lua/Makefile')
| -rw-r--r-- | lua/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lua/Makefile b/lua/Makefile index 13619b9..7a45202 100644 --- a/lua/Makefile +++ b/lua/Makefile @@ -3,7 +3,7 @@ all: clean test clean: - rm -f *.out *.true + rm -f *.out *.status *.err test: @./test.sh |