diff options
Diffstat (limited to 'scripts/runqemu-internal')
| -rwxr-xr-x | scripts/runqemu-internal | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/runqemu-internal b/scripts/runqemu-internal index 8165e13e5a..f9d8728224 100755 --- a/scripts/runqemu-internal +++ b/scripts/runqemu-internal | |||
| @@ -214,6 +214,7 @@ else | |||
| 214 | fi | 214 | fi |
| 215 | else | 215 | else |
| 216 | echo "Using preconfigured tap device '$TAP'" | 216 | echo "Using preconfigured tap device '$TAP'" |
| 217 | echo "If this is not intended, use flock on $LOCKFILE.lock to make runqemu skip $TAP." | ||
| 217 | fi | 218 | fi |
| 218 | 219 | ||
| 219 | cleanup() { | 220 | cleanup() { |
