diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/configure | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tools/configure b/tools/configure index 1742e28789..5d6d63ac88 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -95,6 +95,16 @@ app_get_platform() { | |||
95 | if [ -n "$PREFIX" ]; then | 95 | if [ -n "$PREFIX" ]; then |
96 | echo "WARNING: PREFIX not supported on Android. You can however use --rbdir" | 96 | echo "WARNING: PREFIX not supported on Android. You can however use --rbdir" |
97 | fi | 97 | fi |
98 | if [ -z "$ANDROID_SDK_PATH" ]; then | ||
99 | echo "ERROR: You need the Android SDK installed and have the ANDROID_SDK_PATH" | ||
100 | echo "environment variable point to the root directory of the Android SDK." | ||
101 | exit | ||
102 | fi | ||
103 | if [ -z "$ANDROID_NDK_PATH" ]; then | ||
104 | echo "ERROR: You need the Android NDK installed and have the ANDROID_NDK_PATH" | ||
105 | echo "environment variable point to the root directory of the Android NDK." | ||
106 | exit | ||
107 | fi | ||
98 | rbdir="/data/data/org.rockbox/app_rockbox/rockbox" | 108 | rbdir="/data/data/org.rockbox/app_rockbox/rockbox" |
99 | bindir="/data/data/org.rockbox/lib" | 109 | bindir="/data/data/org.rockbox/lib" |
100 | bindir_full=$bindir | 110 | bindir_full=$bindir |