diff options
author | red031000 <rubenru09@aol.com> | 2020-05-29 23:32:53 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-29 23:32:53 +0100 |
commit | 1266531567b175008dd9681e7a57f12a572bbb5b (patch) | |
tree | 2f0cffbe62801002d4a4b2672ff4899734a77d80 /arm7 | |
parent | 37726e4464c68b7e389f3673949a83515fff4633 (diff) | |
parent | 6bc6ec1ccc052f03a9c1a5b91b1cf022277c7ab6 (diff) |
Merge branch 'master' into master
Diffstat (limited to 'arm7')
-rw-r--r-- | arm7/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/arm7/Makefile b/arm7/Makefile index dd045f23..15ea51aa 100644 --- a/arm7/Makefile +++ b/arm7/Makefile @@ -117,7 +117,9 @@ endif MAKEFLAGS += --no-print-directory all: $(ROM) +ifeq ($(COMPARE),1) @$(SHA1SUM) -c $(TARGET).sha1 +endif clean: mostlyclean make -C $(TOOLS_DIR)/mwasmarm_patcher clean |