diff options
| author |   Alexandru Avadanii <Alexandru.Avadanii@enea.com> | 2016-04-27 16:15:21 +0200 |
|---|---|---|
| committer | Alexandru Avadanii <Alexandru.Avadanii@enea.com> | 2016-05-02 14:49:10 +0000 |
| commit | 9ae5e3ce417212f092c77abf6b156f44a597ec33 (patch) | |
| tree | 83e5bf69a398845b7be0e838c1e207132c4e63a3 /docs | |
| parent | d4e2f59b33af6f10062cbce0d4acb2259c566f2d (diff) | |
Makefile: cleanup: drop time measurement.
This is now covered by Jenkins for automatic builds, and not
relevant for manual builds.
Change-Id: I539a7311fa9689405acdfcd05773fd5aaa81fbb0
(cherry picked from commit f4cf022ab567ce7f341ed5ef8c6b33f7d48d6963)
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions