Make more scripts print their commands, to help debug issues in GitLab

This commit is contained in:
Suzanne Dupéron 2020-02-10 11:35:31 +01:00
parent 3969df5a5d
commit 8f03d45ec3
7 changed files with 7 additions and 0 deletions

View File

@ -1,3 +1,4 @@
#!/bin/sh #!/bin/sh
set -e set -e
set -x
docker build -t "${LIGO_REGISTRY_IMAGE_BUILD:-ligolang/ligo}:next" -f ./docker/distribution/debian/distribute.Dockerfile . docker build -t "${LIGO_REGISTRY_IMAGE_BUILD:-ligolang/ligo}:next" -f ./docker/distribution/debian/distribute.Dockerfile .

View File

@ -1,5 +1,6 @@
#!/bin/sh #!/bin/sh
set -e set -e
set -x
eval $(opam config env) eval $(opam config env)
dune build -p ligo dune build -p ligo

View File

@ -1,5 +1,6 @@
#!/bin/sh #!/bin/sh
set -e set -e
set -x
dockerfile_name="build" dockerfile_name="build"
# Generic dockerfile # Generic dockerfile

View File

@ -1,5 +1,6 @@
#!/bin/sh #!/bin/sh
set -e set -e
set -x
dockerfile_name="package" dockerfile_name="package"
dockerfile="" dockerfile=""

View File

@ -1,5 +1,6 @@
#!/bin/sh #!/bin/sh
set -e set -e
set -x
# This script accepts three arguments, os family, os and its version, # This script accepts three arguments, os family, os and its version,
# which are subsequently used to fetch the respective docker # which are subsequently used to fetch the respective docker

View File

@ -1,5 +1,6 @@
#!/bin/sh #!/bin/sh
set -e set -e
set -x
. /etc/os-release . /etc/os-release
if [ $ID = arch ] if [ $ID = arch ]

View File

@ -1,5 +1,6 @@
#!/bin/sh #!/bin/sh
set -e set -e
set -x
# Install local dependencies # Install local dependencies
opam install -y --deps-only --with-test ./ligo.opam $(find vendors -name \*.opam) opam install -y --deps-only --with-test ./ligo.opam $(find vendors -name \*.opam)