From 38cc0db9a0debcec9305d4cc24c96e6e6d02cd2e Mon Sep 17 00:00:00 2001
From: Michael Ernst <mernst@cs.washington.edu>
Date: Thu, 5 Sep 2024 08:12:59 -0700
Subject: [PATCH] Clarify documentation of `die`

---
 framework/test/test.include | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/framework/test/test.include b/framework/test/test.include
index 5dcc15e32..8a573058a 100755
--- a/framework/test/test.include
+++ b/framework/test/test.include
@@ -65,7 +65,8 @@ print_result() {
     printf "\n$text\n" 1>&2
 }
 
-# Print and log error message, and terminate script if HALT_ON_ERROR is set
+# Print and log error message, and set ERROR.
+# Terminate script if HALT_ON_ERROR is set.
 # die <error_text>
 die() {
     echo "Error: $1" 1>&2