Sync up the make distclean
target with what's in .gitignore (#1582)
#206
Job | Run time |
---|---|
5m 51s | |
3m 29s | |
9m 20s |
make distclean
target with what's in .gitignore (#1582)
#206
Job | Run time |
---|---|
5m 51s | |
3m 29s | |
9m 20s |