* src/vm/options.c (options_xx): Don't clutter output with warning (print to
authorStefan Ring <stefan@complang.tuwien.ac.at>
Tue, 2 Jun 2009 23:35:48 +0000 (01:35 +0200)
committerStefan Ring <stefan@complang.tuwien.ac.at>
Tue, 2 Jun 2009 23:35:48 +0000 (01:35 +0200)
commit5301804bdf51a685d43bba276be1ea8de9003db1
tree9eda186315f083e49e02ed56dc3e62b1d3138209
parent979b6405cbce2296fe679ba543c6fb9afddacad5
* src/vm/options.c (options_xx): Don't clutter output with warning (print to
stderr instead).
src/vm/options.c