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.04s real:0.17s (faults io:1 non-io:2468)

End-PLD-Builder-Info