summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2018-10-02 23:34:41 -0700
committerOri Bernstein <ori@eigenstate.org>2018-10-02 23:34:41 -0700
commit100d3a203f8ee81adc5e31adac2d2c6c0ce65e5f (patch)
tree97d77bf12ef259e8a8b67366092d1aa319279d76
parentcae230b08fabfc63c60be35b932fcc9f8c1cb303 (diff)
downloadmc-100d3a203f8ee81adc5e31adac2d2c6c0ce65e5f.tar.gz
Fix 'make clean' (Thanks Mike)
-rw-r--r--rt/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/rt/Makefile b/rt/Makefile
index 00a4ff7..14c3d03 100644
--- a/rt/Makefile
+++ b/rt/Makefile
@@ -22,4 +22,4 @@ uninstall:
rm -f $(abspath $(DESTDIR)/$(INST_ROOT)/lib/myr/_myrrt.o)
clean:
- rm -f _myrrt.o _myrrt.s start.s
+ rm -f _myrrt.o _myrrt.s start.s abort.s