Commit b6688810 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

Merge branch 'master' into exp/yy-to-vcsnyy

parents 14c909ac a851fa48
2009-04-15 Alexandre Duret-Lutz <>
* Do not use git to compute the name of the
branch. Buildbot will now pass the branch name as first argument.
2009-04-14 Alexandre Duret-Lutz <> 2009-04-14 Alexandre Duret-Lutz <>
* include/vaucanson/algebra/implementation/series/krat_exp_parser_private.hh: * include/vaucanson/algebra/implementation/series/krat_exp_parser_private.hh:
...@@ -6,8 +6,8 @@ ...@@ -6,8 +6,8 @@
set -e set -e
set -x set -x
# Find out which branch has been compiled. # Buildbot will tell us the name of the branch being compiled using $1.
rev=`git name-rev --name-only HEAD` rev=$1
case $rev in case $rev in
next|hive) rev=snapshot-$rev;; next|hive) rev=snapshot-$rev;;
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment