From 2c2f76cca1d3bbce766b739abd5e15eaf6a3857e Mon Sep 17 00:00:00 2001 From: Stephen Gold Date: Wed, 18 Sep 2019 18:12:25 -0700 Subject: [PATCH] upload_native.sh: use "git diff" instead of "git diff-tree" --- private/upload_native.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/private/upload_native.sh b/private/upload_native.sh index 431e42dee..a9e8953ad 100755 --- a/private/upload_native.sh +++ b/private/upload_native.sh @@ -17,10 +17,10 @@ function native_changes_common() { git checkout "$TRAVIS_BRANCH" } -echo " - Checking if natives changed in commit $TRAVIS_COMMIT.." -NATIVE_CHANGES_BULLET="$(git diff-tree --name-only "$TRAVIS_COMMIT" -- jme3-bullet-native/)" -NATIVE_CHANGES_ANDROID_BULLET="$(git diff-tree --name-only "$TRAVIS_COMMIT" -- jme3-bullet-native-android/)" -NATIVE_CHANGES_ANDROID_NATIVES="$(git diff-tree --name-only "$TRAVIS_COMMIT" -- jme3-android-native/)" +echo " - Determine which native libraries changed, if any" +NATIVE_CHANGES_BULLET="$(git diff --name-only -- jme3-bullet-native/libs/native/)" +NATIVE_CHANGES_ANDROID_BULLET="$(git diff --name-only -- jme3-bullet-native-android/libs/)" +NATIVE_CHANGES_ANDROID_NATIVES="$(git diff --name-only -- jme3-android-native/libs/)" if [ "$NATIVE_CHANGES_BULLET" != "" ]; then echo " - Found changes in jme3-bullet-native"