From a1622ad408c8292c2d78e4b30e577c8878f662de Mon Sep 17 00:00:00 2001
From: Alex Shinn <ashinn@users.noreply.github.com>
Date: Sat, 12 Dec 2009 16:01:50 +0900
Subject: [PATCH] marking generated .c files as "PRECIOUS" so they don't get
 automatically deleted

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

diff --git a/Makefile b/Makefile
index 02e20cb9..17f935f2 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,7 @@
 # -*- makefile-gmake -*-
 
 .PHONY: all libs doc dist clean cleaner test install uninstall
+.PRECIOUS: %.c
 
 CC       ?= cc
 PREFIX   ?= /usr/local