diff options
author | orbea <orbea@riseup.net> | 2021-10-01 14:57:47 -0700 |
---|---|---|
committer | orbea <orbea@riseup.net> | 2021-10-01 14:57:51 -0700 |
commit | 136cb8f1d3bedc79343cad51ed744d69f5508adf (patch) | |
tree | 14319f8fa8fdde1e0f9dc5a7e2f5cd21b45b5efa | |
parent | 963d24bf99f810df256a0fbd63a595b68e616c47 (diff) | |
download | shared-mime-info-136cb8f1d3bedc79343cad51ed744d69f5508adf.tar.gz |
freedesktop_generate.sh: Don't hardcode ninja
Another ninja implementation that works is samurai
https://github.com/michaelforney/samurai
-rwxr-xr-x | data/freedesktop_generate.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/data/freedesktop_generate.sh b/data/freedesktop_generate.sh index ff13e75a..62ccffa7 100755 --- a/data/freedesktop_generate.sh +++ b/data/freedesktop_generate.sh @@ -3,7 +3,7 @@ src_root="$1" build_root="$2" -ninja -C "${build_root}" shared-mime-info-gmo +${NINJA:-ninja} -C "${build_root}" shared-mime-info-gmo itstool \ --its "${src_root}/data/its/shared-mime-info.its" \ |