summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2013-08-26 16:44:47 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2013-08-26 16:44:47 +0100
commit7cf634614b9a4ee18a70030e3b340dccd470f908 (patch)
tree1462eba172d39f8f81fbe8e1b3aba1fc63af85ff /Makefile
parentd833b697cbd9e0b743b79242209c78651845f559 (diff)
New --ignore-dirty option to skip noncritical check. Closes: #720895.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions