diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2015-10-17 14:20:48 +1100 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2015-10-17 14:20:48 +1100 |
| commit | 63c3043200de6b28a8c192f1b5625940435ea55e (patch) | |
| tree | ab761edbbc71b2b2f28e0ef7e10b8adc58d44320 /makefile | |
| parent | 5933f248c18914fbbce03102b340361a575eae3c (diff) | |
Organised source code a bit, added makefile with clean target
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/makefile b/makefile new file mode 100644 index 0000000..fce4ef0 --- /dev/null +++ b/makefile @@ -0,0 +1,7 @@ + + + +clean: + find . -name '*.o' -delete + find . -name '*.ali' -delete + |