diff options
-rwxr-xr-x | .ci/build-cross-in-container.sh | 4 | ||||
-rwxr-xr-x | .ci/build-in-container.sh | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/.ci/build-cross-in-container.sh b/.ci/build-cross-in-container.sh index 1c67b72..a184eb1 100755 --- a/.ci/build-cross-in-container.sh +++ b/.ci/build-cross-in-container.sh @@ -8,8 +8,8 @@ export PATH=/usr/local/bin:$PATH echo $PATH export DEJAGNU=$(pwd)/.ci/site.exp -echo $(DEJAGNU) -ls -l $(DEJAGNU) +echo $DEJAGNU +ls -l $DEJAGNU pwd find . ./configure --host=${HOST} || cat */config.log diff --git a/.ci/build-in-container.sh b/.ci/build-in-container.sh index 82ffcbd..2330477 100755 --- a/.ci/build-in-container.sh +++ b/.ci/build-in-container.sh @@ -4,8 +4,8 @@ set -x export QEMU_LD_PREFIX=/usr/${HOST} export DEJAGNU=$(pwd)/.ci/site.exp -echo $(DEJAGNU) -ls -l $(DEJAGNU) +echo $DEJAGNU +ls -l $DEJAGNU pwd find . ./configure ${HOST+--host=$HOST --disable-shared} |