Skip to content

GitLab

"docs-source/python-api/conf.py" did not exist on "c4c812177a64179e1552ce20ec5ff55c3b9cbcd8"
Commit 1eb48003 authored by xoviat's avatar xoviat Committed by GitHub
Browse files

FIX: ext

parent d7e813cf
Hide whitespace changes
Inline Side-by-side
Showing with 1 addition and 1 deletion
library_builders.sh
View file @ 1eb48003
...@@ -59,7 +59,7 @@ function build_simple { ...@@ -59,7 +59,7 @@ function build_simple {
local configure_args=${@:5} local configure_args=${@:5}
if [[ $ext == --* ]]; then if [[ $ext == --* ]]; then
configure_args="$ext $configure_args" configure_args="$ext $configure_args"
ext=".tar.gz" ext="tar.gz"
fi fi
if [ -e "${name}-stamp" ]; then if [ -e "${name}-stamp" ]; then
return return
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment