diff --git a/gitlab/before_docs.sh b/gitlab/before_docs.sh index 73a037624bb88e0aed6b9d09f5c6aa0291b38784..2871d3ee72d71bf460d425ae520f15f1b8fb2e55 100755 --- a/gitlab/before_docs.sh +++ b/gitlab/before_docs.sh @@ -1,2 +1,7 @@ #!/usr/bin/env bash # Thu 22 Sep 2016 18:23:57 CEST + +# Refreshes build scripts if necessary +$(dirname ${0})/install.sh $(dirname ${0}) + +source $(dirname ${0})/functions.sh diff --git a/gitlab/before_wheels.sh b/gitlab/before_wheels.sh index 73a037624bb88e0aed6b9d09f5c6aa0291b38784..2871d3ee72d71bf460d425ae520f15f1b8fb2e55 100755 --- a/gitlab/before_wheels.sh +++ b/gitlab/before_wheels.sh @@ -1,2 +1,7 @@ #!/usr/bin/env bash # Thu 22 Sep 2016 18:23:57 CEST + +# Refreshes build scripts if necessary +$(dirname ${0})/install.sh $(dirname ${0}) + +source $(dirname ${0})/functions.sh