192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
|
rm -rf "${dir}/out"
faileddirs="${faileddirs} ${dir}"
echo "Failed to build ${dir}"
else
if [ "${CLEANONLY}" != "1" ]; then
outdir="$(ls -1d "${dir}/out"/*/"${PLATFORM}/" | head -1)"
mv "${dir}/out/build-${PLATFORM}.log" "${outdir}/build.log"
fi
fi
done
# Cleanup is done at this point
if [ "${CLEANONLY}" = "1" ]; then
exit 0
|
>
|
|
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
|
rm -rf "${dir}/out"
faileddirs="${faileddirs} ${dir}"
echo "Failed to build ${dir}"
else
if [ "${CLEANONLY}" != "1" ]; then
outdir="$(ls -1d "${dir}/out"/*/"${PLATFORM}/" | head -1)"
mv "${dir}/out/build-${PLATFORM}.log" "${outdir}/build.log" >/dev/null 2>/dev/null
fi
fi
done
# Cleanup is done at this point
if [ "${CLEANONLY}" = "1" ]; then
exit 0
|