build in docker

shish · Sep 28, 2023 · 28b61e2 · 28b61e2
1 parent 254d94c
commit 28b61e2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/py/build_mypyc.sh b/py/build_mypyc.sh
@@ -4,7 +4,7 @@ cd $(dirname $0)
 source py_env.sh
 rm -rf rbmp
 cp -r src rbmp
-sed -i '' 's/from src./from rbmp./' rbmp/*.py
+sed -i'' 's/from src./from rbmp./' rbmp/*.py
 mypyc rbmp
 
 cat >rosettaboy-mypyc <<EOD

diff --git a/rs/build_lto.sh b/rs/build_lto.sh
@@ -3,4 +3,5 @@ set -eu
 
 cd $(dirname $0)
 cargo build --profile release-lto
+rm -f ./rosettaboy-lto
 mv ./target/release-lto/rosettaboy-rs ./rosettaboy-lto