Fix removal of include directories by make uninstall
#2959
Job | Run time |
---|---|
12m 15s | |
2m 43s | |
2m 2s | |
2m 3s | |
2m 57s | |
2m 37s | |
1m 20s | |
1m 21s | |
2m 57s | |
1m 8s | |
19s | |
8m 14s | |
1m 15s | |
40s | |
4m 36s | |
10m 3s | |
1m 12s | |
8m 56s | |
55s | |
55s | |
1m 3s | |
50s | |
4m 6s | |
3m 21s | |
2m 50s | |
2m 38s | |
1h 23m 16s |