log build.sh @ 32:d76d0651512f

age author description
2020-12-17 Joeri van Ruth Set -e, set PERL5LIB during build
2020-12-17 Joeri van Ruth Add two shell scripts for use in GitHub workflow