# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1347233652 -7200
# Node ID 05670c940c61e473e016849bc2b93a2bfc56cb9c
# Parent  8f2aa868983fe6812c54c690acaee6068c33f90f
Moved marker file deletion inside the appropriate section.

diff -r 8f2aa868983f -r 05670c940c61 user-do-root
--- a/user-do-root	Mon Sep 10 00:31:02 2012 +0200
+++ b/user-do-root	Mon Sep 10 01:34:12 2012 +0200
@@ -55,9 +55,9 @@
 umount "$PACKAGEROOT/proc"
 umount "$PACKAGEROOT/sys"
 
-rm "$PACKAGEROOT/dev.userinstall.$$" 
+if [ "$DEV" ] ; then
+	rm "$PACKAGEROOT/dev.userinstall.$$" 
 
-if [ "$DEV" ] ; then
         for FILENAME in "$PACKAGEROOT/dev.userinstall."* ; do
 
                 # If the pattern does not expand to produce filenames, no such