diff options
| author | Tobias Kortkamp <git@tobik.me> | 2016-07-16 12:43:07 +0200 |
|---|---|---|
| committer | Tobias Kortkamp <git@tobik.me> | 2016-07-16 12:43:07 +0200 |
| commit | 85ad9c653d212f70870c1b49e67fc78b19e4105f (patch) | |
| tree | 4c9893bf874fc31d569526bbc6b74ea7db4f3645 /src/scanners.re | |
| parent | 55a58d9e918a7aad696495702786807941928f9e (diff) | |
Use $(MAKE) in Makefile for recursive makes
On some system namely OpenBSD/FreeBSD GNU Make is called gmake and
calling make directly from the Makefile leads to strange results.
See https://www.gnu.org/software/make/manual/html_node/MAKE-Variable.html#MAKE-Variable
Diffstat (limited to 'src/scanners.re')
0 files changed, 0 insertions, 0 deletions