Checkout
Ivan Zhakov
committed
on 05 Sep 08
Save all options including -t and -s to gen-make.opts, to make
gen-make.py --reload really works on Windows.

* gen-make.py:
(__main__): S… Show more
Save all options including -t and -s to gen-make.opts, to make

gen-make.py --reload really works on Windows.

* gen-make.py:

 (__main__): Save -t and -s options to gen-make.opts. Show less