chiark / gitweb /
fix up precious
authorian <ian>
Sat, 19 Apr 2008 10:05:08 +0000 (10:05 +0000)
committerian <ian>
Sat, 19 Apr 2008 10:05:08 +0000 (10:05 +0000)
layout/Makefile

index 36eacef0a9772d106e40bae5aea5284d31d95909..5d7e3b2a932554be3b1712cd1df5e3d8a79827f6 100644 (file)
@@ -183,6 +183,6 @@ clean:
 .PRECIOUS:     $(OPRINTS)
 .PRECIOUS:     %.segcmap %.segcmapreq %.segenco.ppm %.d4 %.neato %.raw.neato
 .PRECIOUS:     %.redactgraph %.redacted.forsafety %.redacted.neato
-.PRECIOUS:     %.layout-data.c %.pin-info %.segjoins
+.PRECIOUS:     %.layout-data.c %.pin-info %.redacted.segjoins
 
 include $(wildcard *.d)