 Yentl Van Tendeloo
|
de37cccebe
Naively changed user to task in all files
|
hace 8 años |
|
Yentl Van Tendeloo
|
1efd7854f5
Fixed make_parallel on Windows (I think)
|
hace 8 años |
|
Yentl Van Tendeloo
|
ffc0a0de37
Use make_parallel to skip recompilation of files that are already
|
hace 8 años |
|
Yentl Van Tendeloo
|
10c2add88b
Added much faster way of finding cached files
|
hace 8 años |
|
Yentl Van Tendeloo
|
602f802743
Fix problem in invocation
|
hace 9 años |
|
Yentl Van Tendeloo
|
c770bf0776
Remove the --fast flag, as it only confuses matters and performance benefits will be low with precompiled functions
|
hace 9 años |
|
Yentl Van Tendeloo
|
b96665724e
Bundle the PO constructor together and increase number of parallel
|
hace 9 años |
|
Yentl Van Tendeloo
|
68fdb81ec5
Fixed some bugs; leave some bugs
|
hace 9 años |
|
Yentl Van Tendeloo
|
395cd7c595
Nicer scripts that don't just crash
|
hace 9 años |
|
Yentl Van Tendeloo
|
d2eb014a45
Do replacement of \ with / in make scripts
|
hace 9 años |
|
Yentl Van Tendeloo
|
ae640e4370
Do glob expansion in Python, as Windows doesn't do this either
|
hace 9 años |
|
Yentl Van Tendeloo
|
f6eef301f8
Fixed include in conformance check; make_parallel uses PO instead of CO
|
hace 9 años |
|
Yentl Van Tendeloo
|
123342eb8b
Port make_parallel to Python
|
hace 9 años |
