summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xmanage7
1 files changed, 7 insertions, 0 deletions
diff --git a/manage b/manage
index 6cf562b22..f03343839 100755
--- a/manage
+++ b/manage
@@ -177,6 +177,13 @@ docker.buildx() {
docker.build() {
pyenv.install
+ local SEARX_GIT_VERSION
+ local VERSION_GITCOMMIT
+ local SEARX_PYTHON_VERSION
+ local GITHUB_USER
+ local SEARX_IMAGE_NAME
+ local BUILD
+
build_msg DOCKER build
# run installation in a subprocess and activate pyenv