diff options
| author | tomsmeding <tom.smeding@gmail.com> | 2017-01-28 23:28:46 +0100 |
|---|---|---|
| committer | tomsmeding <tom.smeding@gmail.com> | 2017-01-28 23:32:17 +0100 |
| commit | 80b7f9f01f76eb1d068ea9d024e10f00cb3ed231 (patch) | |
| tree | d413645ad898a8645c9b0dc8aad8052774b6388a | |
| parent | 97650a26c3d940a98313c37fe122c146ab7c7ff4 (diff) | |
Make new-make-version-ready
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -17,7 +17,7 @@ clean: rm -f $(TARGET) *.o *.hi remake: clean - make all + $(MAKE) all $(TARGET): *.hs |