diff options
-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" \ |