Yentl Van Tendeloo 68fdb81ec5 Fixed some bugs; leave some bugs 9 years ago
..
compile.py 68fdb81ec5 Fixed some bugs; leave some bugs 9 years ago
fix_files.py c521b873e4 Ported two scripts to python, already removing the dependency on find/del 9 years ago
flush_compiler_caches.py 43c1559240 Ported all scripts to Python 9 years ago
generate_bootstrap.py 43c1559240 Ported all scripts to Python 9 years ago
link_and_load.py 395cd7c595 Nicer scripts that don't just crash 9 years ago
make_all.py 395cd7c595 Nicer scripts that don't just crash 9 years ago
make_parallel.py 68fdb81ec5 Fixed some bugs; leave some bugs 9 years ago
prompt.py a3cc3ba6bf Don't polute output in Windows console with colours, which it doesn't support 9 years ago
run_local_modelverse.py 395cd7c595 Nicer scripts that don't just crash 9 years ago
run_tests.py 43c1559240 Ported all scripts to Python 9 years ago