clean up after linux packaging

diff --git a/tools/linux_packaging/package b/tools/linux_packaging/package
index dcb4e3ada8f297e3052ae2a14bfd77c12a2ba243..cf11346eb8f2399476508f825478c9744429d90a 100755 (executable)
--- a/tools/linux_packaging/package
+++ b/tools/linux_packaging/package
@@ -170,6 +170,7 @@ fi
 
 echo "Clean up"
 rm -rf ${PACKAGE}
+rm -f stage2.run
 
 echo ""
 echo "Done"