diff options
| author | Jeroen Wijenbergh <jeroen.wijenbergh@geant.org> | 2026-02-19 16:27:50 +0100 |
|---|---|---|
| committer | Jeroen Wijenbergh <jeroen.wijenbergh@geant.org> | 2026-02-20 15:00:47 +0100 |
| commit | e233ea00593446079a39e018a2d3621596259ebe (patch) | |
| tree | 19264ad103bd0932ac904f084ad433a74a2ac37a /docker/pip/build.sh | |
| parent | 67e1244cd2e74721f5f9fea27e12f3f6f64972c7 (diff) | |
Docker: Remove no longer needed pip building
Diffstat (limited to 'docker/pip/build.sh')
| -rwxr-xr-x | docker/pip/build.sh | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/docker/pip/build.sh b/docker/pip/build.sh deleted file mode 100755 index d1e0c15..0000000 --- a/docker/pip/build.sh +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/sh - -git pull origin --tags -VERSION=$(git tag | sort -V | tail -1) -mkdir -p out/"$VERSION" - -# amd64 -sudo docker build --build-arg COMMONVERSION="$VERSION" -f amd64.dockerfile -t common-pip-amd64 . -sudo docker run -v "$PWD"/out/"$VERSION":/io --rm -ti common-pip-amd64 bash -c "cp /wheelhouse/* /io" - -# arm64 -sudo docker run --rm --privileged multiarch/qemu-user-static --reset -p yes -sudo docker build --build-arg COMMONVERSION="$VERSION" -f arm64.dockerfile -t common-pip-arm64 . -sudo docker run -v "$PWD"/out/"$VERSION":/io --rm -ti common-pip-arm64 bash -c "cp /wheelhouse/* /io" |