Update pull script for last commit

main
Simon Quigley 1 week ago
parent 2eca4875cd
commit 34fdbac9ba

@ -9,13 +9,7 @@ make -j$(nproc) &&
cmake --install . --prefix /srv/lubuntu-ci/repos/ci-tools) && cmake --install . --prefix /srv/lubuntu-ci/repos/ci-tools) &&
rm -rf build) rm -rf build)
(cd fetch-indexes-cpp && (cd cpp &&
rm -rf build; mkdir build && (cd build &&
cmake .. -DCMAKE_PREFIX_PATH="/srv/lubuntu-ci/repos/ci-tools;${CMAKE_PREFIX_PATH}" &&
make -j$(nproc) && cmake --install . --prefix /srv/lubuntu-ci/repos/ci-tools) &&
rm -rf build)
(cd build-packages-cpp &&
rm -rf build; mkdir build && (cd build && rm -rf build; mkdir build && (cd build &&
cmake .. -DCMAKE_PREFIX_PATH="/srv/lubuntu-ci/repos/ci-tools;${CMAKE_PREFIX_PATH}" && cmake .. -DCMAKE_PREFIX_PATH="/srv/lubuntu-ci/repos/ci-tools;${CMAKE_PREFIX_PATH}" &&
make -j$(nproc) && cmake --install . --prefix /srv/lubuntu-ci/repos/ci-tools) && make -j$(nproc) && cmake --install . --prefix /srv/lubuntu-ci/repos/ci-tools) &&

Loading…
Cancel
Save