summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xscripts/runqemu-internal6
1 files changed, 5 insertions, 1 deletions
diff --git a/scripts/runqemu-internal b/scripts/runqemu-internal
index f9ca380f26..d317dfd242 100755
--- a/scripts/runqemu-internal
+++ b/scripts/runqemu-internal
@@ -178,6 +178,10 @@ else
178 USE_PRECONF_TAP="no" 178 USE_PRECONF_TAP="no"
179 for tap in $POSSIBLE; do 179 for tap in $POSSIBLE; do
180 LOCKFILE="$LOCKDIR/$tap" 180 LOCKFILE="$LOCKDIR/$tap"
181 if [ -e "$LOCKFILE.skip" ]; then
182 echo "Found $LOCKFILE.skip, skipping $tap"
183 continue
184 fi
181 echo "Acquiring lockfile for $tap..." 185 echo "Acquiring lockfile for $tap..."
182 acquire_lock $LOCKFILE 186 acquire_lock $LOCKFILE
183 if [ $? -eq 0 ]; then 187 if [ $? -eq 0 ]; then
@@ -214,7 +218,7 @@ else
214 fi 218 fi
215 else 219 else
216 echo "Using preconfigured tap device '$TAP'" 220 echo "Using preconfigured tap device '$TAP'"
217 echo "If this is not intended, use flock on $LOCKFILE.lock to make runqemu skip $TAP." 221 echo "If this is not intended, touch $LOCKFILE.skip to make runqemu skip $TAP."
218 fi 222 fi
219 223
220 cleanup() { 224 cleanup() {