Rename "tools" to "devkit" so users will know they don't need it

This commit is contained in:
T. Joseph Carter 2015-02-23 15:37:45 -08:00
parent 0a918617b8
commit 16cdfdc906

View File

@ -254,7 +254,7 @@ fetch_retroarch() {
fetch_git "https://github.com/libretro/libretro-database.git" "retroarch/media/libretrodb" ""
}
fetch_tools() {
fetch_devkit() {
fetch_git "https://github.com/libretro/libretro-manifest.git" "libretro-manifest" "libretro/libretro-manifest"
fetch_git "https://github.com/libretro/libretrodb.git" "libretrodb" "libretro/libretrodb"
fetch_git "https://github.com/libretro/libretro-dat-pull.git" "libretro-dat-pull" "libretro/libretro-dat-pull"
@ -278,7 +278,7 @@ if [ -n "$1" ]; then
done
else
fetch_retroarch
fetch_tools
fetch_devkit
libretro_fetch_core bsnes
libretro_fetch_core snes9x