Loading build-py-project-and-run-examples.sh +2 −9 Original line number Diff line number Diff line Loading @@ -9,12 +9,5 @@ fi curl -L -O -k https://gitlab.tiker.net/inducer/ci-support/raw/master/build-py-project.sh source build-py-project.sh cd examples for i in $(find . -name '*.py' -exec grep -q __main__ '{}' \; -print ); do echo "-----------------------------------------------------------------------" echo "RUNNING $i" echo "-----------------------------------------------------------------------" dn=$(dirname "$i") bn=$(basename "$i") (cd $dn; time ${PY_EXE} "$bn") done curl -L -O -k https://gitlab.tiker.net/inducer/ci-support/raw/master/run-examples.sh source run-examples.sh run-examples.sh 0 → 100755 +11 −0 Original line number Diff line number Diff line #! /bin/bash cd examples for i in $(find . -name '*.py' -exec grep -q __main__ '{}' \; -print ); do echo "-----------------------------------------------------------------------" echo "RUNNING $i" echo "-----------------------------------------------------------------------" dn=$(dirname "$i") bn=$(basename "$i") (cd $dn; time ${PY_EXE} "$bn") done Loading
build-py-project-and-run-examples.sh +2 −9 Original line number Diff line number Diff line Loading @@ -9,12 +9,5 @@ fi curl -L -O -k https://gitlab.tiker.net/inducer/ci-support/raw/master/build-py-project.sh source build-py-project.sh cd examples for i in $(find . -name '*.py' -exec grep -q __main__ '{}' \; -print ); do echo "-----------------------------------------------------------------------" echo "RUNNING $i" echo "-----------------------------------------------------------------------" dn=$(dirname "$i") bn=$(basename "$i") (cd $dn; time ${PY_EXE} "$bn") done curl -L -O -k https://gitlab.tiker.net/inducer/ci-support/raw/master/run-examples.sh source run-examples.sh
run-examples.sh 0 → 100755 +11 −0 Original line number Diff line number Diff line #! /bin/bash cd examples for i in $(find . -name '*.py' -exec grep -q __main__ '{}' \; -print ); do echo "-----------------------------------------------------------------------" echo "RUNNING $i" echo "-----------------------------------------------------------------------" dn=$(dirname "$i") bn=$(basename "$i") (cd $dn; time ${PY_EXE} "$bn") done