From ae7868b166f47950c37fd82794807ef43d7ad07a Mon Sep 17 00:00:00 2001
From: Domenico Ottolia <dottolia@hmc.edu>
Date: Tue, 30 Mar 2021 16:58:46 -0400
Subject: [PATCH] Update privileged tests generator

---
 wally-pipelined/testgen/privileged/run.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/wally-pipelined/testgen/privileged/run.sh b/wally-pipelined/testgen/privileged/run.sh
index 9d5ca4f4e..d010377a7 100644
--- a/wally-pipelined/testgen/privileged/run.sh
+++ b/wally-pipelined/testgen/privileged/run.sh
@@ -1,3 +1,9 @@
+#
+# Written 1 Mar 2021 by Domenico Ottolia (dottolia@hmc.edu)
+#
+# See README.md in this directory for more info
+#
+
 clear
 printf "\n\n#####\nStarting tests for $1\n#####\n\n"