Fix previous commit
This commit is contained in:
parent
b789199f10
commit
9d280cf49f
|
@ -2,7 +2,7 @@ TAG="$(git describe --exact-match --match "[0-9]*" HEAD 2>/dev/null)"
|
||||||
|
|
||||||
set -o errexit -o nounset
|
set -o errexit -o nounset
|
||||||
|
|
||||||
if [ "$TRAVIS_OS_NAME" == "linux" -a "$CC" == "gcc" -a "$TRAVIS_SECURE_ENV_VARS" == "true" -a "$TAG" != ""]
|
if [ "$TRAVIS_OS_NAME" == "linux" -a "$CC" == "gcc" -a "$TRAVIS_SECURE_ENV_VARS" == "true" -a "$TAG" != "" ]
|
||||||
then
|
then
|
||||||
DOCSDIR=build-docs
|
DOCSDIR=build-docs
|
||||||
REVISION=$(git rev-parse --short HEAD)
|
REVISION=$(git rev-parse --short HEAD)
|
||||||
|
|
Loading…
Reference in New Issue