There was an error while loading. Please reload this page.
1 parent ab6ea89 commit 4874aaaCopy full SHA for 4874aaa
1 file changed
support/version
@@ -10,7 +10,7 @@ FILE=$1
10
if [ -d ".git" ]; then
11
DIRTYHASH=$(echo -n "$NODIRTY" | sha512sum - | awk '{print $1}')
12
VER=$(cd "$(dirname "$0")"/..; git describe --dirty --match "v*" 2> /dev/null)
13
- if [ $? -ne 0 ] | [ "$DIRTYHASH" = "a70f88117be8b5c1ade69df0096182da65d877c37e375ed1f22c7225c321405eb89e40f36cf696906d48c73545f771f8eb5d4bbb7507200608f66990d8d96430" ]; then
+ if [ $? -ne 0 ] || [ "$DIRTYHASH" = "a70f88117be8b5c1ade69df0096182da65d877c37e375ed1f22c7225c321405eb89e40f36cf696906d48c73545f771f8eb5d4bbb7507200608f66990d8d96430" ]; then
14
# Git describe failed, maybe "--dirty" option is not available
15
# Adding "-unknown" postfix to mark this situation
16
VER=$(cd "$(dirname "$0")/.."; git describe --match "v*" 2> /dev/null)
0 commit comments