summaryrefslogtreecommitdiff
path: root/check-uderef.sh
blob: 2cd51b76ab033d68dd67783b73f374f24f26d0b3 (plain)
1
2
3
4
5
6
7
8
9
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