Clean up the C stamp file.

diff --git a/v7/dist/make-c-files b/v7/dist/make-c-files
index a6d79c69fc87832cb6847f0697c77a6db6fffbc5..d66116f4ee6ed993a50393b39f05134cf5eb738d 100644 (file)
--- a/v7/dist/make-c-files
+++ b/v7/dist/make-c-files
@@ -1,6 +1,6 @@
 #!/bin/sh
 #
-# $Id: make-c-files,v 1.2 2007/04/04 06:43:48 riastradh Exp $
+# $Id: make-c-files,v 1.3 2007/04/14 20:33:55 riastradh Exp $
 #
 # Copyright 2007 Massachusetts Institute of Technology
 #
@@ -94,4 +94,4 @@ done
 zip -rl "${zipfile}" "${C_DIR_REL}"
 chmod -w "${zipfile}"
 
-rm -rf "${C_DIR}"
+rm -rf "${STAMP_C}" "${C_DIR}"