diff --git a/Makefile b/Makefile index b2069549..d8a631f9 100644 --- a/Makefile +++ b/Makefile @@ -135,7 +135,7 @@ $(BUILDDIR)/rtlplayground-$(FILENAME_EXTENSION).bin: $(BUILDDIR)/rtlplayground.i tools/output/crc_calculator -u $@ ln -sf $(MACHINE)/rtlplayground-$(FILENAME_EXTENSION).bin output/rtlplayground.bin -.PHONY: clean all $(SUBDIRS) +.PHONY: clean all $(SUBDIRS) $(VERSION_HEADER) .PHONY: machine_check: