From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 15 Dec 2006 14:21:04 +0000 (+0000)
Subject: When printing a directory tree, indicate explicitly if it's empty.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=ad711b00de76e004c0240fff288cd734eb1f1492;hp=53a7f5d0952a4595f252247f5ee3d017468eb57e

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

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)