[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:
-------------- 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