diff options
| -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() { |
