1 files changed, 1 insertions, 1 deletions
diff --git a/t/man3.sh b/t/man3.sh
index a842d38a9..2604c014c 100755
--- a/t/man3.sh
+++ b/t/man3.sh
@@ -16,7 +16,7 @@
 
 # PR 516: Prefer generated manpages to distributed ones.
 
-. ./defs || Exit 1
+. ./defs || exit 1
 
 cat > Makefile.am << 'END'
 dist_man_MANS = foo.1