X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ftests%2Ftests.pm;h=b12066640015c52def36b7e5e76bff11a758acde;hb=e73c27897259e2c4fb340406f01491278134803a;hp=179f110a9f986d75481f18ab950545f0e18c242e;hpb=f76b6130c127c5ff3cbb1dc15afbc68a2518edb7;p=pintos-anon

diff --git a/src/tests/tests.pm b/src/tests/tests.pm
index 179f110..b120666 100644
--- a/src/tests/tests.pm
+++ b/src/tests/tests.pm
@@ -444,6 +444,7 @@ sub print_fs {
 	}
 	print "\n";
     }
+    print "(empty)\n" if !@_;
 }
 
 # normalize_fs (%FS)