Output the Pintos command line once more.

Signed-off-by: Filip Strömbäck <filip.stromback@liu.se>

1 files changed, 1 insertions, 0 deletions

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);