You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
ci-tools/pull-and-compile-tooling

9 lines
166 B

#!/bin/bash
git pull
(cd fetch-indexes-cpp &&
rm -rf build; mkdir build && (cd build &&
cmake .. && make -j$(nproc)) &&
mv build/fetch-indexes ../ && rm -rf build)