diff options
-rwxr-xr-x | .ci/build-cross-in-container.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.ci/build-cross-in-container.sh b/.ci/build-cross-in-container.sh index 3fd5cad..77b5f00 100755 --- a/.ci/build-cross-in-container.sh +++ b/.ci/build-cross-in-container.sh @@ -1,4 +1,5 @@ #!/bin/bash +set -x cd /opt @@ -7,6 +8,10 @@ export PATH=/usr/local/bin:$PATH echo $PATH DEJAGNU=$(pwd)/.ci/site.exp +echo $(DEJAGNU) +ls -l $(DEJAGNU) +pwd +find . ./configure --host=${HOST} || cat */config.log make make dist |