You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
echo "Updated urls with commit $(git log -1 --format='%H')"
199
-
git add -u && git commit -m "Fake-commit the updated urls so that no diff exists prior to running the test"
200
196
export WEBOTS_HOME=$PWD/artifact/webots
201
-
if [[ -d ~/.cache/Cyberbotics/Webots/assets/ ]]; then cached_files_before=$(ls ~/.cache/Cyberbotics/Webots/assets/ | wc -l); else cached_files_before=0; fi
if [[ "$(git diff --name-only *.wbt *.wbproj | wc -l)" -ne "0" ]]; then echo Some world and/or wbproj files are not up to date: "$(git diff *.wbt *.wbproj)"; exit -1; fi
204
-
if [[ -d ~/.cache/Cyberbotics/Webots/assets/ ]]; then cached_files_after=$(ls ~/.cache/Cyberbotics/Webots/assets/ | wc -l); else cached_files_after=0; fi
205
-
# Note: need an offset of 22 because world 'url.wbt' uses non-cached assets on purpose
206
-
if [ "$cached_files_after" -ne "$((cached_files_before + 22))" ]; then
207
-
echo "Some assets are not included in the cache (before $cached_files_before, after $cached_files_after)";
if [[ "$(diff -qr artifact/ untouched-artifact/ | wc -l)" -ne "0" ]]; then echo Some world and/or wbproj files are not up to date: "$(diff -qr artifact/ untouched-artifact/)"; exit 1; fi
git add -u && git commit -m "Fake-commit the updated urls so that no diff exists prior to running the test"
193
189
export WEBOTS_HOME=$PWD/artifact/webots
194
-
if [[ -d ~/.cache/Cyberbotics/Webots/assets/ ]]; then cached_files_before=$(ls ~/.cache/Cyberbotics/Webots/assets/ | wc -l); else cached_files_before=0; fi
if [[ "$(git diff --name-only *.wbt *.wbproj | wc -l)" -ne "0" ]]; then echo Some world and/or wbproj files are not up to date: "$(git diff *.wbt *.wbproj)"; exit -1; fi
197
-
if [[ -d ~/.cache/Cyberbotics/Webots/assets/ ]]; then cached_files_after=$(ls ~/.cache/Cyberbotics/Webots/assets/ | wc -l); else cached_files_after=0; fi
198
-
# Note: need an offset of 22 because world 'url.wbt' uses non-cached assets on purpose
199
-
if [ "$cached_files_after" -ne "$((cached_files_before + 22))" ]; then
200
-
echo "Some assets are not included in the cache (before $cached_files_before, after $cached_files_after)";
if [[ "$(diff -qr artifact/ untouched-artifact/ | wc -l)" -ne "0" ]]; then echo Some world and/or wbproj files are not up to date: "$(diff -qr artifact/ untouched-artifact/)"; exit 1; fi
0 commit comments