From 133e17fe2335abb77f61dbf1cff1955c21334137 Mon Sep 17 00:00:00 2001
From: Ebrahim Byagowi <ebrahim@gnu.org>
Date: Mon, 12 Feb 2018 15:24:22 +0330
Subject: [PATCH] Minor

---
 src/check-defs.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/check-defs.sh b/src/check-defs.sh
index 71b8f0218..ade593570 100755
--- a/src/check-defs.sh
+++ b/src/check-defs.sh
@@ -18,6 +18,7 @@ tested=false
 for def in harfbuzz.def harfbuzz-icu.def harfbuzz-subset.def; do
 	if ! test -f "$def"; then
 		echo "check-defs.sh: '$def' not found; skipping test it"
+		continue
 	fi
 	lib=`echo "$def" | sed 's/[.]def$//;s@.*/@@'`
 	for suffix in so dylib; do