Suggest /usr/local/include instead of /usr/include, closes #133 #96
Job | Run time |
---|---|
40s | |
37s | |
53s | |
58s | |
38s | |
36s | |
29s | |
1m 12s | |
33s | |
1m 35s | |
1m 57s | |
1m 41s | |
11m 49s |
Job | Run time |
---|---|
40s | |
37s | |
53s | |
58s | |
38s | |
36s | |
29s | |
1m 12s | |
33s | |
1m 35s | |
1m 57s | |
1m 41s | |
11m 49s |