si tratta di un’estensione di make di GNU.