diff options
Diffstat (limited to 'tools/tinder.sh')
-rwxr-xr-x | tools/tinder.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/tinder.sh b/tools/tinder.sh index 4291e88..aaca7c8 100755 --- a/tools/tinder.sh +++ b/tools/tinder.sh @@ -58,4 +58,4 @@ for i in "$@"; do ;; esac done -make tinderbox UNIVERSE_TARGET="_cleanobj _obj _depend everything" $MAKE_ARGS SUBDIR_OVERRIDE="$SUBDIR" +make tinderbox UNIVERSE_TARGET="_cleanobj _obj everything" $MAKE_ARGS SUBDIR_OVERRIDE="$SUBDIR" |