More robust bench extraction

Allow travis.yml to recognize a variety of bench formats in commit messages, for instance:

Bench: 5023593. (really).
bench: 5023593 (it was 1234567)
bench : 5023593 (blah blah)
Bench:5023593
Bench: 5023593. 567 something (1234567) 563

No functional change.

diff --git a/.travis.yml b/.travis.yml
index 7a0b111f887a7147685f2c9606cfe9a382a29b4c..0a214d1a24c73f181336ea19a20e3e213c3599fb 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -46,7 +46,7 @@ before_script:
 
 script:
   # Obtain bench reference from git log
 
 script:
   # Obtain bench reference from git log

-  - git log HEAD | grep "\b[Bb]ench[ :]\+[0-9]\{7\}" | head -n 1 | sed "s/[^0-9]*\([0-9][0-9]*\)/\1/g" > git_sig
+  - git log HEAD | grep "\b[Bb]ench[ :]\+[0-9]\{7\}" | head -n 1 | sed "s/[^0-9]*\([0-9]*\).*/\1/g" > git_sig

   - export benchref=$(cat git_sig)
   - echo "Reference bench:" $benchref
   #
   - export benchref=$(cat git_sig)
   - echo "Reference bench:" $benchref
   #