From 6ca20446c77fd6dec9ca10713a63233c97e7e977 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Filip=20Str=C3=B6mb=C3=A4ck?= <filip.stromback@liu.se>
Date: Wed, 18 Apr 2018 17:41:11 +0200
Subject: Output the Pintos command line once more.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Filip Strömbäck <filip.stromback@liu.se>
---
 src/utils/pintos | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

diff --git a/src/utils/pintos b/src/utils/pintos
index 2d1d7f0..e0cc5ac 100755
--- a/src/utils/pintos
+++ b/src/utils/pintos
@@ -513,6 +513,7 @@ sub run_qemu {
 
     # When using isa-debug-exit, we can not exit QEMU cleanly. We exit with 0x30, which will make QEMU exit
     # with the code 0x30*2 + 1 = 97, and therefore we treat 97 as success as well.
+    print join (' ', @cmd), "\n";
     my ($exit) = xsystem (@cmd);
     if (WIFEXITED($exit)) {
 	$exit = WEXITSTATUS($exit);
-- 
cgit v1.2.1