diff options
-rwxr-xr-x | .ci/build-in-container.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.ci/build-in-container.sh b/.ci/build-in-container.sh index 9a404b9..c45ec2f 100755 --- a/.ci/build-in-container.sh +++ b/.ci/build-in-container.sh @@ -4,6 +4,10 @@ set -x export QEMU_LD_PREFIX=/usr/${HOST} DEJAGNU=$(pwd)/.ci/site.exp +echo $(DEJAGNU) +ls -l $(DEJAGNU) +pwd +find . ./configure ${HOST+--host=$HOST --disable-shared} make make dist |