Always make zip file.

diff --git a/v7/dist/make-src-files b/v7/dist/make-src-files
index 13626c9a8fb9c3a58d04e33ddfe81a09e4df8b7d..f0da3e531fad93e4ee3e8254a51ce9a300227cb8 100755 (executable)
--- a/v7/dist/make-src-files
+++ b/v7/dist/make-src-files
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-# $Id: make-src-files,v 1.22 2006/02/02 02:49:56 cph Exp $
+# $Id: make-src-files,v 1.23 2006/02/02 03:06:47 cph Exp $
 #
 # Copyright 2000,2001,2002,2003,2005,2006 Massachusetts Institute of Technology
 #
@@ -91,11 +91,9 @@ tar cvzf "${tarfile}" "${PREFIX}"
 tar cvzf "${ucfile}" "${PREFIX}/src/COPYING" "${PREFIX}/src/microcode"
 chmod -w changelog.txt "${tarfile}" "${ucfile}"
 
-if [ -z "${SNAPSHOT_P}" ]; then
-    rm -rf "${PREFIX}/src/lib"
-    symlinks -rd "${PREFIX}"
-    zip -rl "${zipfile}" "${PREFIX}"
-    chmod -w "${zipfile}"
-fi
+rm -rf "${PREFIX}/src/lib"
+symlinks -rd "${PREFIX}"
+zip -rl "${zipfile}" "${PREFIX}"
+chmod -w "${zipfile}"
 
 rm -rf "${PREFIX}"