diff options
| author | Rusty Russell <rusty@rustcorp.com.au> | 2011-01-08 18:36:56 +1030 |
|---|---|---|
| committer | Rusty Russell <rusty@rustcorp.com.au> | 2011-01-08 18:36:56 +1030 |
| commit | d0093562b281634fa32943ace88a134c397b411d (patch) | |
| tree | 3696ca63f1def3e4fea354b86c59a273ee89bc93 | |
| parent | fa64b4599366818ea546c7db026f37d987d181a8 (diff) | |
Makefile: append git revision to "make scores"
Good for testing ccanlint changes.
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -15,7 +15,7 @@ EXCLUDE=wwviaudio ogg_to_pcm jmap jbitset nfs # Where make scores puts the results -SCOREDIR=scores/$(shell whoami)/$(shell uname -s)-$(shell uname -m)-$(CC) +SCOREDIR=scores/$(shell whoami)/$(shell uname -s)-$(shell uname -m)-$(CC)-$(shell git describe --always --dirty) ALL=$(filter-out $(EXCLUDE), $(REALLY_ALL)) |