From 629bc5faaf5ce7956de11d6d9ad8f157531105a6 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 6 Feb 2016 12:57:49 +0000
Subject: [PATCH] Makefile: do not needlessly update commitid.scad

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 57ee94f..9e879ab 100644
--- a/Makefile
+++ b/Makefile
@@ -33,7 +33,7 @@ AUTO_INCS = funcs.scad
 
 default:	autoincs scads
 
-$(shell set -xe; ./commitid.scad.pl >commitid.scad.tmp; mv -f commitid.scad.tmp commitid.scad )
+$(shell set -xe; ./commitid.scad.pl >commitid.scad.tmp; cmp commitid.scad.tmp commitid.scad || mv -f commitid.scad.tmp commitid.scad )
 
 autoincs:	$(AUTO_INCS)
 scads:		$(addsuffix .auto.scad, $(AUTO_TOPLEVELS))
-- 
2.30.2