diff options
| author | cyan <cyjan@mrcyjanek.net> | 2024-07-30 17:46:55 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-07-30 17:46:55 +0200 |
| commit | 373588247bcdb0ef2a16531fb8cd556743c5cd74 (patch) | |
| tree | a26e5a4c08cd56b8e47a20cdc94306b0e7a3a01c /build_single.sh | |
| parent | 3b9928a665099f10cfd7e17f82cdf222e9f3ae27 (diff) | |
Generic safety cleanup (#22)
* create checksum system for versioning
* minor changes to CI
* dart ffi cleanup
* update checksums
Diffstat (limited to 'build_single.sh')
| -rwxr-xr-x | build_single.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/build_single.sh b/build_single.sh index cb8979a..d98af2a 100755 --- a/build_single.sh +++ b/build_single.sh @@ -1,5 +1,7 @@ #!/bin/bash +cd "$(realpath $(dirname $0))" + function verbose_copy() { echo "==> cp $1 $2" cp $1 $2 |