X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Futils%2Fpintos;h=909df8391c57251f290142d134f59787590c253a;hp=1abd2edc6a9055ae37788867dc022110d8310ea2;hb=2026ecceb129b851bd4f1573f7627a50d51e89b5;hpb=b9713669e0613652b1ff53601345decf5584ab23

diff --git a/src/utils/pintos b/src/utils/pintos
index 1abd2ed..909df83 100755
--- a/src/utils/pintos
+++ b/src/utils/pintos
@@ -819,7 +819,7 @@ sub xsystem {
 	    for (;;) {
 		if (waitpid ($pid, WNOHANG) != 0) {
 		    # Subprocess died.  Pass through any remaining data.
-		    print $buf while sysread ($in, $buf, 4096) > 0;
+		    do { print $buf } while sysread ($in, $buf, 4096) > 0;
 		    last;
 		}