diff options
Diffstat (limited to 'scripts/runqemu-internal')
-rwxr-xr-x | scripts/runqemu-internal | 6 |
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() { |