From 7d25c72e40537a8ca36804ebacc49f992faaaaef Mon Sep 17 00:00:00 2001
From: Philippe Teuwen <phil@teuwen.org>
Date: Sun, 10 Mar 2019 12:55:17 +0100
Subject: [PATCH] Makefile: recompile arm only when needed

---
 armsrc/Makefile | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/armsrc/Makefile b/armsrc/Makefile
index 53a8b150e..e3dbb7127 100644
--- a/armsrc/Makefile
+++ b/armsrc/Makefile
@@ -176,9 +176,8 @@ all: $(OBJS)
 
 .DELETE_ON_ERROR:
 
-# version.c should be remade on every compilation
-.PHONY: version.c
-version.c: default_version.c
+# version.c should be remade on every time fullimage.stage1.elf should be remade
+version.c: default_version.c $(OBJDIR)/fpga_version_info.o $(OBJDIR)/fpga_all.o $(THUMBOBJ) $(ARMOBJ)
 	perl ../tools/mkversion.pl .. > $@ || $(COPY) $^ $@
 
 fpga_version_info.c: $(FPGA_BITSTREAMS) $(FPGA_COMPRESSOR)