diff options
| author | Josh Wainwright <josh.wainwright@ldra.com> | 2016-04-20 14:23:30 +0100 |
|---|---|---|
| committer | Josh Wainwright <josh.wainwright@ldra.com> | 2016-04-20 14:23:30 +0100 |
| commit | 4675c3bf8d386e3af974a82dae823961864ba064 (patch) | |
| tree | 2a71404382aa2fa0cb48684f93c4538cfb86d5a7 /lua/Makefile | |
| parent | b474d7aa119fc6d1d28a574296ed341194eede31 (diff) | |
| download | vis-4675c3bf8d386e3af974a82dae823961864ba064.tar.gz vis-4675c3bf8d386e3af974a82dae823961864ba064.tar.xz | |
Remove stackdump reference from makefile and make name uppercase
Diffstat (limited to 'lua/Makefile')
| -rw-r--r-- | lua/Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/lua/Makefile b/lua/Makefile new file mode 100644 index 0000000..3d750aa --- /dev/null +++ b/lua/Makefile @@ -0,0 +1,7 @@ +all: clean test + +clean: + rm -f *.out *.true + +test: + @./test.sh |