1234567891011121314151617181920 |
- #!/usr/bin/env sh
- set -ex
- if [ ! -e dep/ziget ]; then
- echo "Error: please clone the ziget repo first, run 'zig build' to see how"
- exit 1
- fi
- rm -rf ziget-build-files-copy
- for f in build.zig GitRepoStep.zig loggyrunstep.zig openssl/sources; do
- dir=$(dirname $f)
- mkdir -p ziget-build-files-copy/$dir
- cp dep/ziget/$f ziget-build-files-copy/$dir
- done
|