[Freeciv-Dev] patch: Allow changing the client option file name in config.h

[sebauer@xxxxxxxxxxx (Sebastian Bauer)]

Hi!

The attached very small patch allows the changing of the client
options file name in config.h. For this a new OPTION_FILE_NAME
define can be defined (configure does not touch it; it is only
for a handwritten config.h)

The patch is necessary to allow the amiga version of the client
save the client options (without it, the player had always to set a
environment variable)

I also changed the "double res" declaration in tech_turns_to_advance()
of common/tech.c to "int res".

bye,
Sebastian Bauer

options.diff.gz
Description: Binary data