From 68586e1eaf4f31abe10c76946ebdf0d4e06f2050 Mon Sep 17 00:00:00 2001
From: Pietro Gagliardi <pietro10@mac.com>
Date: Sat, 16 May 2015 11:39:18 -0400
Subject: [PATCH] Fixed ui.h shenanigans in the makefile.

---
 redo/GNUbase.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/redo/GNUbase.mk b/redo/GNUbase.mk
index f388a961..3ec5bbb0 100644
--- a/redo/GNUbase.mk
+++ b/redo/GNUbase.mk
@@ -1,5 +1,4 @@
 # 22 april 2015
-# TODO figure out why ui.h is being regenerated always? and it seems despite that it doesn't affect existing dependencies?
 
 OUTBASE = new
 OUTDIR = out
@@ -58,6 +57,7 @@ $(OBJDIR)/%.o: %.m $(xHFILES) | $$(dir $$@).phony
 $(OUTDIR)/%.h: %.idl tools/idl2h.go | $(OUTDIR)/.phony
 	@go run tools/idl2h.go -extern _UI_EXTERN -guard __UI_UI_H__ < $< > $@
 	@echo ====== Generated `basename $@`
+.PRECIOUS: $(OUTDIR)/%.h
 
 clean:
 	rm -rf $(OUTDIR) $(OBJDIR) ui.h