Fix compile errors WinBoard
authorH.G. Muller <h.g.muller@hccnet.nl>
Sun, 19 Jun 2011 14:18:15 +0000 (16:18 +0200)
committerH.G. Muller <h.g.muller@hccnet.nl>
Tue, 21 Jun 2011 10:07:07 +0000 (12:07 +0200)
commit6a4ae36fae56e66f3fd0517a249db2bc4f7118f9
treed522155068124f3a5133a8ffad92d731d04e8b67
parentcde66749ec8a0b3c823bbc7aa3818b86821514ec
Fix compile errors WinBoard

The patch to make non-existing options non-fatal broke WinBoard. All calls
to ExitArgError from it now supply a third argument TRUE to fix it.
winboard/winboard.c
winboard/winboard.h
winboard/woptions.c