Tools: build_ci.sh: make target not required in Replay directory

This commit is contained in:
Peter Barker 2016-09-19 12:56:42 +10:00
parent c23ee3d35c
commit 084862a999

View File

@ -88,7 +88,7 @@ for t in $CI_BUILD_TARGET; do
pushd "Tools/Replay"
make clean
make $t -j2
make -j2
popd
fi
fi