Browse Source

Makefile: append git revision to "make scores"

Good for testing ccanlint changes.
Rusty Russell 15 years ago
parent
commit
d0093562b2
1 changed files with 1 additions and 1 deletions
  1. 1 1
      Makefile

+ 1 - 1
Makefile

@@ -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))