Sean,

You MUST use GNU make. This is not the standard make tool on some systems.

Olivier

Reply via email to