GitHub CI: Update for new env.sh

This commit is contained in:
Michael Drake 2022-11-09 15:35:30 +00:00 committed by Michael Drake
parent beaeec5792
commit d893a6d602
3 changed files with 3 additions and 3 deletions

View File

@ -53,7 +53,7 @@ jobs:
run: | run: |
export TARGET_WORKSPACE="$(pwd)/projects" export TARGET_WORKSPACE="$(pwd)/projects"
source docs/env.sh source docs/env.sh
ns-clone -n -s ns-clone -d -s
ns-make-tools install ns-make-tools install
ns-make-libs install ns-make-libs install

View File

@ -42,7 +42,7 @@ jobs:
run: | run: |
export TARGET_WORKSPACE="$(pwd)/projects" export TARGET_WORKSPACE="$(pwd)/projects"
source docs/env.sh source docs/env.sh
ns-clone -n -s ns-clone -d -s
ns-make-tools install ns-make-tools install
ns-make-libs install ns-make-libs install

View File

@ -38,7 +38,7 @@ jobs:
run: | run: |
export TARGET_WORKSPACE="$(pwd)/projects" export TARGET_WORKSPACE="$(pwd)/projects"
source docs/env.sh source docs/env.sh
ns-clone -n -s ns-clone -d -s
ns-make-tools install ns-make-tools install
ns-make-libs install ns-make-libs install