Fabian Homborg a4f55d95d4 Detect GNU make via "--version"
Turns out that `make -pn` actually takes a while - about 300ms on
fish's makefile.

That's quite a bit of time just to throw away the output and use the
exit code.

So we just check for "GNU" in the version string.

It would be nice to just _do_ the completion and fall back on the
BSD-style if it doesn't work, but that is tricky to do with the pipe
to `awk` - the awk expression actually does not fail if `make` does
not print output.

And I don't know enough about awk to change that.
2018-05-11 16:16:14 +02:00
..
2016-11-27 21:27:22 -08:00
2018-03-06 17:55:25 +01:00
2016-11-27 21:27:22 -08:00
2016-11-27 21:27:22 -08:00
2017-02-18 22:16:55 +01:00
2017-08-03 14:35:06 -07:00
2016-11-27 21:27:22 -08:00
2017-07-13 11:50:57 -07:00
2017-07-13 11:53:29 -07:00
2016-11-27 21:27:22 -08:00
2016-11-27 21:27:22 -08:00
2017-10-01 01:11:17 -07:00
2018-04-25 23:11:40 +02:00
2018-04-25 23:11:40 +02:00
2016-11-27 21:27:22 -08:00
2016-11-27 21:27:22 -08:00
2018-04-02 18:36:14 -05:00
2016-11-27 21:27:22 -08:00
2016-11-27 21:27:22 -08:00
2016-11-27 21:27:22 -08:00
2018-03-12 08:34:20 -05:00
2016-11-27 21:27:22 -08:00
2017-07-13 14:12:51 -07:00
2017-09-22 00:30:26 -07:00
2017-04-05 15:31:13 -07:00
2018-02-19 20:21:02 +01:00
2017-07-13 15:19:02 -07:00
2016-11-27 21:27:22 -08:00
2016-11-27 21:27:22 -08:00