Tell the user correctly how to interrupt novaboot

diff --git a/novaboot b/novaboot
index 38742d08c1df032a6237d19ecceba69211367da8..95f7fc6d25e29ca05b4e2e6c84ab01fc6f00d430 100755 (executable)
--- a/novaboot
+++ b/novaboot
@@ -758,7 +758,11 @@ if (defined $uboot) {
 
 if (defined $exp) {
     # Serial line of the target is available
-    print "novaboot: Serial line interaction (press Ctrl-C to interrupt)...\n";
+    my $interrupt = 'Ctrl-C';
+    if ($interactive && !@exiton) {
+       $interrupt = '"~~."';
+    }
+    print "novaboot: Serial line interaction (press $interrupt to interrupt)...\n";
     $exp->log_stdout(1);
     if (@exiton) {
        $exp->expect(undef, @exiton);