diff options
author | Damien George <damien.p.george@gmail.com> | 2014-04-11 10:11:07 +0100 |
---|---|---|
committer | Damien George <damien.p.george@gmail.com> | 2014-04-11 10:11:07 +0100 |
commit | 5f3fe3aa149721a08d7c9b1a683ba502f59d1aae (patch) | |
tree | 74ed8b37e084150127a4ee805b14622b7f1e4945 | |
parent | b8a053aeb1bec41af11c9937de3c81b7b34c7566 (diff) | |
parent | 87e380b7eae5da7d4a4bee84df243faa488f10bd (diff) | |
download | micropython-5f3fe3aa149721a08d7c9b1a683ba502f59d1aae.tar.gz micropython-5f3fe3aa149721a08d7c9b1a683ba502f59d1aae.zip |
Merge branch 'master' of github.com:micropython/micropython
-rw-r--r-- | py/mkrules.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/py/mkrules.mk b/py/mkrules.mk index 452be8cff9..ab4514d1c4 100644 --- a/py/mkrules.mk +++ b/py/mkrules.mk @@ -79,6 +79,7 @@ endif clean: clean-prog clean-prog: $(RM) -f $(PROG) + $(RM) -f $(PROG).map .PHONY: clean-prog endif |