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.08s real:0.24s (faults io:0 non-io:2581)

End-PLD-Builder-Info