diff options
Diffstat (limited to 'platforms-ci.sh')
-rwxr-xr-x | platforms-ci.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/platforms-ci.sh b/platforms-ci.sh index 2437d00..0961072 100755 --- a/platforms-ci.sh +++ b/platforms-ci.sh @@ -260,6 +260,7 @@ function dobuilds exit 1 fi + echo "SHA1 List of repos in the build" sha_list # just for debugging purposes |