diff --git a/tools/tinder.sh b/tools/tinder.sh
index 3ed5996a47a2..17e8d3d7e806 100755
--- a/tools/tinder.sh
+++ b/tools/tinder.sh
@@ -53,6 +53,7 @@ for i in "$@"; do
 		;;
 	*)
 		SUBDIR="$SUBDIR $i"
+		;;
 	esac
 done
 make tinderbox UNIVERSE_TARGET="_cleanobj _obj _depend everything" $MAKE_ARGS SUBDIR_OVERRIDE="$SUBDIR"