1 files changed, 1 insertions, 1 deletions
diff --git a/INSTALL b/INSTALL
index e0c7c8b0..d9d381c8 100755
--- a/INSTALL
+++ b/INSTALL
@@ -116,5 +116,5 @@ if $doinstall; then
 	echo "	PLAN9=$PLAN9 export PLAN9"
 	echo '	PATH=$PATH:$PLAN9/bin export PATH'
 fi
-) 2>&1 | tee install.log | awk -f $PLAN9/dist/isum.awk | tee install.sum
+) 2>&1 | tee install.log | awk -f $PLAN9/dist/isum.awk -v'copy='install.sum