1 files changed, 10 insertions, 0 deletions
diff --git a/check-uderef.sh b/check-uderef.sh
new file mode 100755
index 0000000..2cd51b7
--- /dev/null
+++ b/check-uderef.sh
@@ -0,0 +1,10 @@
+#! /bin/bash
+
+# If the marker is still present, it suggests that the UDEREF check
+# killed the running shell, and we should consider this a pass.
+if [ -f /tmp/uderef-6256ff7e ]; then
+	echo "UDEREF appears to have been detected"
+	echo "test: uderef: pass"
+
+	rm /tmp/uderef-6256ff7e
+fi