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