Merge branch 'master' of ssh://fleuret@login.idiap.ch/homes/fleuret/public/git/selector

[selector.git] / Makefile

diff --git a/Makefile b/Makefile
index d80b4cd..1768697 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -26,7 +26,7 @@ MAN_PATH = /usr/share/man/man1
 
 LDFLAGS=-lcurses
 
-REVISION_NUMBER=$(shell git log | grep ^commit | wc -l)
+REVISION_NUMBER=$(shell git log | grep ^commit | wc -l | sed -e "s/[^0-9]//g")
 
 ifeq ($(DEBUG),yes)
   OPTIMIZE_FLAG = -ggdb3 -DDEBUG