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

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)