diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2023-07-01 19:43:42 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-01 19:43:42 +0200 |
| commit | 6e2262b6c33bd0fa2cb67ff6d4a2f360f0c15913 (patch) | |
| tree | 20c0c99c5217792e054f876712a54ae8b4f1eec8 /misc/scripts | |
| parent | d278661d767f5e1f8f68af2d0a706f5f044aa5d3 (diff) | |
| parent | cb2be8723a16f9fdb13582562cb630c945dcd0a7 (diff) | |
| download | fork-godot-webrtc-native-6e2262b6c33bd0fa2cb67ff6d4a2f360f0c15913.tar.gz fork-godot-webrtc-native-6e2262b6c33bd0fa2cb67ff6d4a2f360f0c15913.tar.bz2 fork-godot-webrtc-native-6e2262b6c33bd0fa2cb67ff6d4a2f360f0c15913.zip | |
Merge pull request #113 from Faless/spike/4.1
Support building for Godot 4.1 (new default).
Diffstat (limited to 'misc/scripts')
| -rwxr-xr-x | misc/scripts/package_release.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/misc/scripts/package_release.sh b/misc/scripts/package_release.sh index a08f441..3ca5a2b 100755 --- a/misc/scripts/package_release.sh +++ b/misc/scripts/package_release.sh @@ -10,6 +10,7 @@ TYPE=${TYPE:-"webrtc"} mkdir -p ${DESTINATION} ls -R ${DESTINATION} +ls -R ${ARTIFACTS} DESTDIR="${DESTINATION}/${VERSION}/${TYPE}" @@ -18,10 +19,10 @@ mkdir -p ${DESTDIR}/lib find "${ARTIFACTS}" -wholename "*/${VERSION}/${TYPE}/lib/*" | xargs cp -t "${DESTDIR}/lib/" find "${ARTIFACTS}" -wholename "*/LICENSE*" | xargs cp -t "${DESTDIR}/" -if [ $VERSION = "extension" ]; then - find "${ARTIFACTS}" -wholename "*/${VERSION}/${TYPE}/${TYPE}.gdextension" | head -n 1 | xargs cp -t "${DESTDIR}/" -else +if [ $VERSION = "gdnative" ]; then find "${ARTIFACTS}" -wholename "*/${VERSION}/${TYPE}/${TYPE}.tres" | head -n 1 | xargs cp -t "${DESTDIR}/" +else + find "${ARTIFACTS}" -wholename "*/${VERSION}/${TYPE}/${TYPE}.gdextension" | head -n 1 | xargs cp -t "${DESTDIR}/" fi CURDIR=$(pwd) |