diff --git a/gen_links.sh.inc b/gen_links.sh.inc
index 539b398..c21bcd6 100644
--- a/gen_links.sh.inc
+++ b/gen_links.sh.inc
@@ -36,6 +36,8 @@
 }
 
 ignore_pp_results() {
+	# Avoid using the pattern itself if no file is found in globbing below:
+	shopt -s nullglob
 	for pp in *.ttcnpp; do
 		ttcn_file="$(echo $pp | sed 's/pp$//')"
 		echo "$ttcn_file" >> .gitignore