<div id="comment:0"></div> a trivial check for the version of the executable `ninja`. CC: @mkoeppe @embray Component: **build: configure** Author: **Dima Pasechnik** Branch/Commit: **[`0b96a6e`](https://github.com/sagemath/sagetrac-mirror/commit/0b96a6e373576962643703554837853921dfffd1)** Reviewer: **Matthias Koeppe** _Issue created by migration from https://trac.sagemath.org/ticket/27801_