diff --git a/pull-and-compile-tooling b/pull-and-compile-tooling index 3b6ad5b..02db4b3 100755 --- a/pull-and-compile-tooling +++ b/pull-and-compile-tooling @@ -9,13 +9,7 @@ make -j$(nproc) && cmake --install . --prefix /srv/lubuntu-ci/repos/ci-tools) && rm -rf build) -(cd fetch-indexes-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 && +(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) &&