From 1d461c47b3269a50ec45e3f2ddc72224880eedbc Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Thu, 21 Jun 2018 21:09:14 +0100 Subject: [PATCH] version numbers are now followed by git tag --- src/cbmc/dist-linux | 2 +- src/cbmc/dist-macos | 2 +- src/cbmc/dist-win | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/cbmc/dist-linux b/src/cbmc/dist-linux index e0776f903e7..afee40f24f9 100755 --- a/src/cbmc/dist-linux +++ b/src/cbmc/dist-linux @@ -4,7 +4,7 @@ umask u=rwx,g=rx,o=rx make strip cbmc -VERSION=`./cbmc --version` +VERSION=`./cbmc --version | cut -d " " -f 1` VERSION_FILE=`echo $VERSION | sed "y/./-/"` BITS=`getconf LONG_BIT` # UNAME_M=`uname -m` diff --git a/src/cbmc/dist-macos b/src/cbmc/dist-macos index bbf54cc8c20..5cbde892407 100755 --- a/src/cbmc/dist-macos +++ b/src/cbmc/dist-macos @@ -8,7 +8,7 @@ make cbmc-mac-signed (cd ../goto-cc; make goto-cc-mac-signed) (cd ../goto-instrument; make goto-instrument-mac-signed) -VERSION=`./cbmc --version` +VERSION=`./cbmc --version | cut -d " " -f 1` VERSION_FILE=`echo $VERSION | sed "y/./-/"` BITS=`getconf LONG_BIT` diff --git a/src/cbmc/dist-win b/src/cbmc/dist-win index 2fedef785c5..619ba1eae60 100755 --- a/src/cbmc/dist-win +++ b/src/cbmc/dist-win @@ -3,7 +3,7 @@ make strip cbmc.exe -VERSION=`./cbmc.exe --version` +VERSION=`./cbmc.exe --version | cut -d " " -f 1` VERSION_FILE=`echo $VERSION | sed "y/./-/"` echo $VERSION_FILE