This is an experimental copy for testing Poikilos' issue mirroring system. Note that Gitea's migration tool can import issues, but the "Issues" checkbox is disabled when "This repository will be a mirror" is enabled (it is for this repo).
You can not select more than 25 topicsTopics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
echo"Error: extracting linux-minetest-kit.zip in the container didn't work. Extract linux-minetest-kit.zip to $contained_repos such that $contained_good_repo_flag_path exists in the container and try again."
exit1
else
echo"* detected $contained_good_repo_flag_path (So the source directory is assumed to be ok)"
fi
if[ ! -d "$contained_repo"];then
echo"Error: \"$contained_repo\" doesn't exist."
exit1
fi
echo"* building libraries using $repo_build_libs_cmd..."