|
|
|
|
|
|
|
|
|
r29091
| file changeset diff or repo changeset diff
| igor2 | 2020-01-07T06:52:40.094349Z
| [test] -Fix: use make instead of $(MAKE) to undo GNU make being too smart (do not try to run this in parallel)
|
|
|
|
|
|
|
|
r5804
| file changeset diff or repo changeset diff
| igor2 | 2016-12-20T08:38:31.015302Z
| [tests] -Update: somewhat unified intermediate test result prints [tests] -Add: make sure all tests are running and a final print is made if they are ok
|
|
r5782
| file changeset diff or repo changeset diff
| igor2 | 2016-12-20T03:56:47.682903Z
| [build] -Change: use $(MAKE) instead of make - this allows GNU make to run recursive parallel compilations (reported by Dima)
|
|
|
|
|
|
|
|