workflow/impl: run make.sh instead of make
All checks were successful
/ build-hamnet70 (push) Successful in 26s
/ build-doc (push) Successful in 16s
/ deploy-doc (push) Has been skipped

This commit is contained in:
Thomas Kolb 2024-08-27 21:59:33 +02:00
parent cd909f58fc
commit 8035172508

View file

@ -7,4 +7,4 @@ jobs:
steps: steps:
- uses: actions/checkout@v4 - uses: actions/checkout@v4
- run: cd impl && cp src/config.h.template src/config.h && sed -i 's/undefined/"TESTCALL"/' src/config.h - run: cd impl && cp src/config.h.template src/config.h && sed -i 's/undefined/"TESTCALL"/' src/config.h
- run: cd impl && make - run: cd impl && ./make.sh