mirror of
https://github.com/polhenarejos/pico-openpgp.git
synced 2024-09-20 03:10:10 +00:00
8 lines
246 B
Bash
8 lines
246 B
Bash
|
#!/bin/bash -eu
|
||
|
|
||
|
source tests/docker_env.sh
|
||
|
#run_in_docker rm -rf CMakeFiles
|
||
|
run_in_docker mkdir -p build_in_docker
|
||
|
run_in_docker -w "$PWD/build_in_docker" cmake -DENABLE_EMULATION=1 ..
|
||
|
run_in_docker -w "$PWD/build_in_docker" make -j ${NUM_PROC}
|