390cfc7be9
I am not too happy with the way options are added in files se.py and fs.py currently. This patch moves all the options to the file Options.py, functions from which are called when required. |
||
---|---|---|
.. | ||
configs | ||
long | ||
quick | ||
test-progs/hello | ||
diff-out | ||
halt.sh | ||
run.py | ||
SConscript |