diff options
Diffstat (limited to 'tools/tinder.sh')
| -rwxr-xr-x | tools/tinder.sh | 1 |
1 files changed, 1 insertions, 0 deletions
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" |