[...] poldek: unrecognized option '--no-ask' Try `poldek --help' or `poldek --usage' for more information. Begin-PLD-Builder-Info Build-Time: user:0.06s sys:0.10s real:0.29s (faults io:0 non-io:2338) End-PLD-Builder-Info