From 136cb8f1d3bedc79343cad51ed744d69f5508adf Mon Sep 17 00:00:00 2001

From: orbea <orbea@riseup.net>

Date: Fri, 1 Oct 2021 14:57:47 -0700

Subject: [PATCH] freedesktop_generate.sh: Don't hardcode ninja

Another ninja implementation that works is samurai

https://github.com/michaelforney/samurai

---

 data/freedesktop_generate.sh | 2 +-

 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/data/freedesktop_generate.sh b/data/freedesktop_generate.sh

index ff13e75..62ccffa 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" \

-- 

2.37.3