Rename directory 'external' -> 'thirdparty'

This commit is contained in:
Leroy Hopson 2021-06-12 15:02:22 +07:00
parent 9e8bc713e7
commit 0437d0f18c
No known key found for this signature in database
GPG key ID: D2747312A6DB51AA
8 changed files with 28 additions and 28 deletions

View file

@ -15,12 +15,12 @@ fi
# Update git submodules.
LIBTSM_DIR=${NATIVE_DIR}/external/libtsm
LIBTSM_DIR=${NATIVE_DIR}/thirdparty/libtsm
if [ ! -d "$LIBTSM_DIR" ]; then
cd ${NATIVE_DIR}
git submodule update --init --recursive -- $LIBTSM_DIR
fi
GODOT_CPP_DIR=${NATIVE_DIR}/external/godot-cpp
GODOT_CPP_DIR=${NATIVE_DIR}/thirdparty/godot-cpp
if [ ! -d "${GODOT_CPP_DIR}" ]; then
cd ${NATIVE_DIR}
git submodule update --init --recursive -- $GODOT_CPP_DIR