diff options
Diffstat (limited to '.ci/build-cross-in-container.sh')
| -rwxr-xr-x | .ci/build-cross-in-container.sh | 4 |
1 files changed, 2 insertions, 2 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 |