chiark / gitweb /
clean targets: Delete $(TARGETS) too!
[adns.git] / regress / case-unknown-flags-harmless.err
2014-10-26 Ian JacksonAPI: Reject unknown flags