Merge branch 'master' of github.com:libretro/libretro-super

This commit is contained in:
radius 2015-07-03 11:19:18 -04:00
commit 50eafb40f9

View File

@ -226,7 +226,9 @@ build_libretro_generic_makefile() {
echo "$1 running retrolink [$jobid]"
$WORK/retrolink.sh ${NAME}_libretro${FORMAT}${SUFFIX}.${FORMAT_EXT}
fi
strip -s ${NAME}_libretro${FORMAT}${SUFFIX}.${FORMAT_EXT}
if [ "${PLATFORM}" = "windows" ]; then
strip -s ${NAME}_libretro${FORMAT}${SUFFIX}.${FORMAT_EXT}
fi
cp -v ${NAME}_libretro${FORMAT}${SUFFIX}.${FORMAT_EXT} $RARCH_DIST_DIR/${DIST}/${NAME}_libretro${FORMAT}${SUFFIX}.${FORMAT_EXT} &> /tmp/buildbot.log
else
ERROR=`cat /tmp/buildbot.log | tail -n 300`