diff options
Diffstat (limited to '.local/share/bin')
| -rwxr-xr-x | .local/share/bin/mk | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/.local/share/bin/mk b/.local/share/bin/mk index c9c2e5b..ab0f586 100755 --- a/.local/share/bin/mk +++ b/.local/share/bin/mk @@ -12,13 +12,15 @@ mode_cmake() { [ "$*" = "clean" ] && exec rm -rf "$builddir" + export CMAKE_GENERATOR="Ninja" + # re-run configuration if fresh or CMakeLists was changed if [ ! -e "$builddir/build.ninja" ] || [ "CMakeLists.txt" -nt "$builddir/build.ninja" ] ; then - cmake --log-level WARNING -B "$builddir" -G Ninja + cmake --log-level WARNING -B "$builddir" fi - cd "$builddir" && exec ninja "$@" + exec cmake --build "$builddir" -- "$@" } [ -e "CMakeLists.txt" ] && mode_cmake "$@" |