From 61b19a0cd074dc8d46494f61480ebdeaa57ac53d 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 9d5ca4f4..d010377a 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"