From 9ef5f41980e176a42220054009b9b1102d620185 Mon Sep 17 00:00:00 2001 From: Shish Date: Thu, 28 Sep 2023 01:16:25 +0100 Subject: [PATCH] build in docker --- py/build_mypyc.sh | 2 +- rs/build_lto.sh | 1 + utils/Dockerfile | 25 ++++++++++++------------- 3 files changed, 14 insertions(+), 14 deletions(-) diff --git a/py/build_mypyc.sh b/py/build_mypyc.sh index d5dce315..f99bec66 100755 --- 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 <