diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2017-07-06 15:43:06 -0700 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2017-07-06 15:43:06 -0700 |
| commit | 9aeedc36448513517a16c81ac15ef8bc0c68cb9f (patch) | |
| tree | 9baa689fffa55d0e3550f84d3ac0e5e0ebfebab6 /contrib | |
| parent | fbf04ae79f08d30fc19efe50d3c215dc347bf82f (diff) | |
cut-release: git co -> git checkout
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/cut-release | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/cut-release b/contrib/cut-release index 79f54748d..f2d09816d 100755 --- a/contrib/cut-release +++ b/contrib/cut-release @@ -215,7 +215,7 @@ perl -pi -e 's/^m4_define\(_CVC4_MAJOR, ( *)[0-9]+( *)\)/m4_define(_CVC4_MAJOR, s/^m4_define\(_CVC4_RELEASE, ( *)[0-9]+( *)\)/m4_define(_CVC4_RELEASE, ${1}'"$release"'$2)/; s/^m4_define\(_CVC4_EXTRAVERSION, ( *)\[.*\]( *)\)/m4_define(_CVC4_EXTRAVERSION, $1\['"$extra"'\]$2)/' configure.ac -trap 'echo; echo; echo "Aborting in error."; git co -- configure.ac; echo' EXIT +trap 'echo; echo; echo "Aborting in error."; git checkout -- configure.ac; echo' EXIT echo echo 'Made the following change to configure.ac:' @@ -238,7 +238,7 @@ echo "Building and checking distribution \`cvc4-$version'..." if $dogetantlr then - echo "Fetch and compile antlr..." + echo "Fetching and compiling antlr..." $getantlr > /dev/null 2>&1 configantlr="--with-antlr-dir=$(pwd)/antlr-3.4 ANTLR=$(pwd)/antlr-3.4/bin/antlr3" fi |