Index: /issm/trunk-jpl/etc/environment.sh
===================================================================
--- /issm/trunk-jpl/etc/environment.sh	(revision 13882)
+++ /issm/trunk-jpl/etc/environment.sh	(revision 13883)
@@ -194,8 +194,8 @@
 export ANDROID_NDK_DIR="$ANDROID_DIR/android-ndk/install"
 pathappend "$ANDROID_NDK_DIR/"
+pathappend "$ANDROID_NDK_DIR/arm-linux-android-install/bin/"
 
 export ANDROID_SDK_DIR="$ANDROID_DIR/android-sdk/install"
 pathappend "$ANDROID_SDK_DIR/"
-pathappend "$ANDROID_DIR/arm-linux-android-4.0/bin/"
 
 GSL_DIR="$ISSM_DIR/externalpackages/gsl/install"