aboutsummaryrefslogtreecommitdiff
path: root/ci
diff options
context:
space:
mode:
authorAvatar Marvin Schmidt <marv@exherbo.org> 2019-08-15 07:49:24 +0200
committerAvatar Marvin Schmidt <marv@exherbo.org> 2019-10-22 20:10:52 +0200
commit8df32a39221004a67e930f7d082ab60d7f9cf684 (patch)
tree9bee29df19c2d989d2d06ecbe7fce6da29135955 /ci
parentea2d768830f6e6817279cee525874b44efa50bfe (diff)
downloadpaludis-8df32a39221004a67e930f7d082ab60d7f9cf684.tar.gz
paludis-8df32a39221004a67e930f7d082ab60d7f9cf684.tar.xz
ci/configure: Introduce option for python version to use
Diffstat (limited to 'ci')
-rwxr-xr-xci/configure-paludis.sh2
1 files changed, 2 insertions, 0 deletions
diff --git a/ci/configure-paludis.sh b/ci/configure-paludis.sh
index 161de6920..63b167908 100755
--- a/ci/configure-paludis.sh
+++ b/ci/configure-paludis.sh
@@ -12,6 +12,7 @@ if [[ ${DISTRIBUTION} == "exherbo" ]]; then
-DCONFIG_FRAMEWORK=eclectic
-DRUBY_VERSION:STRING="2.4"
+ -DPYTHON_VERSION:STRING="${PYTHON_VERSION}"
)
elif [[ ${DISTRIBUTION} == "gentoo" ]]; then
myconf+=(
@@ -21,6 +22,7 @@ elif [[ ${DISTRIBUTION} == "gentoo" ]]; then
-DCONFIG_FRAMEWORK=eselect
-DRUBY_VERSION:STRING="2.4"
+ -DPYTHON_VERSION:STRING="${PYTHON_VERSION}"
)
fi