From b8a1e4a8c3a6fb5160ce7601fe4006ff10bbaba5 Mon Sep 17 00:00:00 2001 From: Max Khon Date: Thu, 24 Nov 2011 14:22:05 +0000 Subject: [PATCH] Add missing ;; --- tools/tinder.sh | 1 + 1 file changed, 1 insertion(+) 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"