191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
|
cp "${dir}/out/build-${PLATFORM}.log" "${dir}/failed-${PLATFORM}-`hostname`.log"
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
|
|
|
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
|
cp "${dir}/out/build-${PLATFORM}.log" "${dir}/failed-${PLATFORM}-`hostname`.log"
rm -rf "${dir}/out"
faileddirs="${faileddirs} ${dir}"
echo "Failed to build ${dir}"
else
if [ "${CLEANONLY}" != "1" ]; then
outdir="$(ls -1d "${dir}/out"/*/"${PLATFORM}/" 2>/dev/null | 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
|