Searched refs:OLD_PLATFORM_DIR (Results 1 – 1 of 1) sorted by relevance
108 OLD_PLATFORM_DIR=$DEV_NDK_PLATFORM_DIR/android-$API/arch-$OLD_ARCH110 if [ -d "$OLD_PLATFORM_DIR/symbols" ]; then111 run copy_directory $OLD_PLATFORM_DIR/symbols $NEW_PLATFORM_DIR/symbols113 if [ -d "$OLD_PLATFORM_DIR/include" ]; then114 run copy_directory $OLD_PLATFORM_DIR/include $NEW_PLATFORM_DIR/include