Report wrong XBoard "option" commands.
commit36cbbe04c0a445e80718ecc1a7dc6b51852e4a15
authorYann Dirson <ydirson@free.fr>
Sat, 24 May 2014 13:01:37 +0000 (24 15:01 +0200)
committerYann Dirson <ydirson@free.fr>
Sat, 24 May 2014 13:01:37 +0000 (24 15:01 +0200)
tree1406599f60e6c8a5966f87996a365033d444d70e
parentdf11bbcfb7320a53b2dd653e29509bfaa3eb4d09
Report wrong XBoard "option" commands.

The "unused return value" warning was not for naughts :)
gnushogi/commondsp.c