From: Eric Blake <ebb9@byu.net>
Date: Thu, 26 Nov 2009 08:39:26 +0000 (+0100)
Subject: init.sh: suggest to use skip_ and fail_ functions in comments
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9bb0a7e5780f8cc02b234981fa17cad396a0244f;p=pspp

init.sh: suggest to use skip_ and fail_ functions in comments

* tests/init.sh: Add a sentence.
---

diff --git a/ChangeLog b/ChangeLog
index d590bce68c..717c503184 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2009-11-26  Eric Blake  <ebb9@byu.net>
+
+	init.sh: suggest to use skip_ and fail_ functions in comments
+	* tests/init.sh: Add a sentence.
+
 2009-11-25  Bruno Haible  <bruno@clisp.org>
 
 	init.sh: add documentation in comments
diff --git a/tests/init.sh b/tests/init.sh
index c7e0425580..368da6d0fe 100644
--- a/tests/init.sh
+++ b/tests/init.sh
@@ -27,6 +27,7 @@
 #   Note that these commands are executed in a subdirectory, therefore you
 #   need to prepend "../" to relative filenames in the build directory.
 #   Set the exit code 0 for success, 77 for skipped, or 1 or other for failure.
+#   Use the skip_ and fail_ functions to print a diagnostic and then exit
 #   with the corresponding exit code.
 #   Exit $?