make: Fix OR_TOOLS_PATCH computation #1440
Job | Run time |
---|---|
1h 21m 11s | |
1h 32m 6s | |
1h 29m 52s | |
1h 24m 24s | |
1h 21m 44s | |
1h 25m 3s | |
1h 31m 40s | |
10h 6m 0s |
Job | Run time |
---|---|
1h 21m 11s | |
1h 32m 6s | |
1h 29m 52s | |
1h 24m 24s | |
1h 21m 44s | |
1h 25m 3s | |
1h 31m 40s | |
10h 6m 0s |