From 16cdfdc90677b1b85fd91b982a8455432ee0574d Mon Sep 17 00:00:00 2001 From: "T. Joseph Carter" Date: Mon, 23 Feb 2015 15:37:45 -0800 Subject: [PATCH] Rename "tools" to "devkit" so users will know they don't need it --- libretro-fetch.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/libretro-fetch.sh b/libretro-fetch.sh index 734f8afc..aaa40d1c 100755 --- a/libretro-fetch.sh +++ b/libretro-fetch.sh @@ -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