diff options
| author | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-05-10 11:36:43 +0200 |
|---|---|---|
| committer | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2016-05-10 11:36:43 +0200 |
| commit | a704cdbb3fd038b1550047f4a22059983019290f (patch) | |
| tree | 0ab9b53c03736a44e454f7564a8d194ca635051b /compile_debug.sh | |
| parent | 440b4d33d71b19d0057e50ac61fa0b3127738479 (diff) | |
| download | ouroboros-a704cdbb3fd038b1550047f4a22059983019290f.tar.gz ouroboros-a704cdbb3fd038b1550047f4a22059983019290f.zip | |
IRMd: set number of thread back to 3 (minimum)
Diffstat (limited to 'compile_debug.sh')
0 files changed, 0 insertions, 0 deletions