diff options
| author | jvoisin | 2016-01-04 16:18:44 +0100 |
|---|---|---|
| committer | jvoisin | 2016-01-04 16:18:44 +0100 |
| commit | 8f2560344f84b6cac651d7dc73ff327af23ac65d (patch) | |
| tree | 1929a5462d606f26a7b46c91a83ebae9306f34d8 /debian/rules | |
| parent | a16310d442a72cd50f6eb7f1f493988f8a87a2f3 (diff) | |
Add `-t` to specify the number of threads to use
Diffstat (limited to 'debian/rules')
0 files changed, 0 insertions, 0 deletions