tree 4df4d99595afdf3d4c55da5ea5aa8e9bd3271257
parent 16373a5933489c5f7d9a412f5c6a280aff31eb1e
author Gilles Peskine <Gilles.Peskine@arm.com> 1497617559 +0200
committer Simon Butcher <simon.butcher@arm.com> 1507287553 +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