When doing premount, check whether mountpoint is already mounted first.

bare.sh

@@ -438,6 +438,20 @@ function restorecmd_help() {
 	echo
 }
 
+function is_mounted() {
+	local dir dev1 dev2 rv
+	dir="$1"
+	dev1=$(stat -f %d $dir 2>/dev/null)
+	dev2=$(stat -f %d $dir/.. 2>/dev/null)
+	if [[ $dev1 == $dev2 ]]; then
+		rv=1
+	else
+		rv=0
+	fi	
+	return $rv
+
+}
+
 # Handle args
 ARGS="acd:hs:tvx:"
 
@@ -806,6 +820,9 @@ for f in $REPO_LIST; do
 	if [[ $MOUNTREPO -eq 1 ]]; then
 		path=`gettagval "$f" premount`
 		[[ $VERBOSE -eq 1 ]] && log "debug: doing repo premount at $path  via fstab"
+		if is_mounted $path; then
+			log "Pre-mount of '$path':  already mounted"
+		else
 		       	mount $path
 			if [[ $? -eq 0 ]]; then
 				log "Pre-mount of '$path':  success"
@@ -814,6 +831,7 @@ for f in $REPO_LIST; do
 				continue
 			fi
 		fi
+	fi
 
 	if [[ $CMD == "go" ]]; then
 		NEEDMOUNT=1