zygo: preserve build artifacts between builds

(cherry picked from commit 2461e8c8918b0c06b0beed09a4463ecc32e9fa52)

diff --git a/zygo/do b/zygo/do
index e85c08a617133bc0b43466bfe0ff92d7a46b7725..2c72023923a71a280234fd2ac4183341252b5a4e 100755 (executable)
--- a/zygo/do
+++ b/zygo/do
@@ -19,7 +19,8 @@ cd .
 PATH="$PWD/zygo:$ORIG_PATH"
 
 # Reset kernel sources to git HEAD
-reset-kernel
+# Now done from build system
+# reset-kernel
 
 # Reset module sources from Debian
 new-kernel