diff options
author | Robin Gareus <robin@gareus.org> | 2015-03-23 13:02:39 +0100 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2015-03-23 13:02:39 +0100 |
commit | 20985dfdf9c5870e1df94fd190b0384df03461d2 (patch) | |
tree | 03c66c6ab989442094d52398c13205983e5b6105 /tools | |
parent | 547285cb599ff8324ae8f38cd16d4bbfe8e6f434 (diff) |
clean up after linux packaging
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/linux_packaging/package | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/linux_packaging/package b/tools/linux_packaging/package index dcb4e3ada8..cf11346eb8 100755 --- 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" |