diff options
| -rw-r--r-- | PROBLEMS | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -47,7 +47,7 @@ While running tests, running a parallell make is a bad idea. Many test scripts use the same name for output and input files, which means different will interfere with each other and lead to test failure. -The solution is simple for now: don't run parallell make when testing. +The solution is simple for now: don't run parallel make when testing. * Bugs in gcc triggered |