tree 3013a1e2a36e17196eb0d7afa20dcd3c59d5d610
parent 967a60502e02fddd587ada912842d82c7505757f
author Gilles Peskine <Gilles.Peskine@arm.com> 1497617559 +0200
committer Simon Butcher <simon.butcher@arm.com> 1507065693 +0100

Note in README that GNU make is required

Our README claims that we only use basic Make functionality, but in
fact GNU make is required for conditional compilation. Document this.

Addresses issue #967