[riot-notifications] [RIOT-OS/RIOT] makefiles: GIT_VERSION (#11881)

Gaëtan Harter notifications at github.com
Mon Jul 22 15:13:59 CEST 2019


This also speeds up running `make distclean` in the base repository.

After running `disclean` already to be in a clean state. It makes the time go from 44s to 21s on my build machine:

```
time make --no-print-directory distclean
...

real	0m21.764s
user	0m5.596s
sys	0m0.760s
```

Where it was

```
time make --no-print-directory distclean
...

real	0m44.287s
user	0m26.008s
sys	0m1.980s
```

@aabadie I think you are using `distclean` in your  workflow.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/RIOT-OS/RIOT/pull/11881#issuecomment-513785642
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20190722/761a7ed0/attachment.htm>


More information about the notifications mailing list