diff options
Diffstat (limited to 'scripts/release_ppa.sh')
| -rwxr-xr-x | scripts/release_ppa.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/release_ppa.sh b/scripts/release_ppa.sh index 8e9dc282..23c374e1 100755 --- a/scripts/release_ppa.sh +++ b/scripts/release_ppa.sh @@ -54,7 +54,7 @@ cd solc version=`grep -oP "PROJECT_VERSION \"?\K[0-9.]+(?=\")"? CMakeLists.txt` commithash=`git rev-parse --short HEAD` committimestamp=`git show --format=%ci HEAD | head -n 1` -commitdate=`git show --format=%ci HEAD | head -n 1 | cut - -b1-10` +commitdate=`git show --format=%ci HEAD | head -n 1 | cut - -b1-10 | sed -e 's/-0?/./' | sed -e 's/-0?/./'` echo "$commithash" > commit_hash.txt if [ $branch = develop ] |