2012-09-10 | Paul Boddie | raw files shortlog changelog graph | Moved marker file deletion inside the appropriate section. | |
user-do-root (file) |
1.1 --- a/user-do-root Mon Sep 10 00:31:02 2012 +0200 1.2 +++ b/user-do-root Mon Sep 10 01:34:12 2012 +0200 1.3 @@ -55,9 +55,9 @@ 1.4 umount "$PACKAGEROOT/proc" 1.5 umount "$PACKAGEROOT/sys" 1.6 1.7 -rm "$PACKAGEROOT/dev.userinstall.$$" 1.8 +if [ "$DEV" ] ; then 1.9 + rm "$PACKAGEROOT/dev.userinstall.$$" 1.10 1.11 -if [ "$DEV" ] ; then 1.12 for FILENAME in "$PACKAGEROOT/dev.userinstall."* ; do 1.13 1.14 # If the pattern does not expand to produce filenames, no such