When printing a directory tree, indicate explicitly if it's empty.

[pintos-anon] / src / tests / tests.pm

diff --git a/src/tests/tests.pm b/src/tests/tests.pm
index 179f110a9f986d75481f18ab950545f0e18c242e..b12066640015c52def36b7e5e76bff11a758acde 100644 (file)
--- 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)