From 9aeedc36448513517a16c81ac15ef8bc0c68cb9f Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Thu, 6 Jul 2017 15:43:06 -0700 Subject: [PATCH] cut-release: git co -> git checkout --- contrib/cut-release | 4 ++-- 1 file 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 -- 2.30.2