From d703b310626538322a9d0e83da4c53b22e6d3e0b Mon Sep 17 00:00:00 2001
From: Michael Hamburg <mike@shiftleft.org>
Date: Mon, 13 Jul 2015 18:01:34 -0700
Subject: [PATCH] fix some PRECIOUS

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

diff --git a/Makefile b/Makefile
index 54156ea..3d34a49 100644
--- a/Makefile
+++ b/Makefile
@@ -79,7 +79,8 @@ SAGES= $(shell ls test/*.sage)
 BUILDPYS= $(SAGES:test/%.sage=$(BUILD_PY)/%.py)
 
 .PHONY: clean all test bench todo doc lib bat sage sagetest
-.PRECIOUS: $(BUILD_ASM)/%.s
+.PRECIOUS: $(BUILD_ASM)/%.s $(BUILD_ASM)/%_impl.s $(BUILD_ASM)/$(DECAF)_%.s $(BUILD_ASM)/decaf_tables_%.c \
+	$(BUILD_IBIN)/decaf_gen_tables_%
 
 HEADERS= Makefile $(shell find src test -name "*.h") $(shell find . -name "*.hxx") $(BUILD_OBJ)/timestamp