Commit 8a11e2fd135fae4626cbb1cc1b4b8dd45efc3feb

Stefano Lattarini 2013-05-04T22:58:25

NEWS: document more robust handling/recognition of make options Signed-off-by: Stefano Lattarini <stefano.lattarini@gmail.com>