From ebee7563aa1427a6a017086dcd9abaa6c8e22094 Mon Sep 17 00:00:00 2001 From: Andrew Bell Date: Mon, 5 Nov 2018 13:08:01 -0500 Subject: [PATCH] More test. --- package.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/package.sh b/package.sh index e2e1f5307e..c3108a82d8 100755 --- a/package.sh +++ b/package.sh @@ -34,7 +34,7 @@ echo "git checkout $GITSHA" >> docker-package.sh cat >> docker-package.sh << "EOF" mkdir build; cd build; -if [ -v RELNAME ] +if [ -x ${RELNAME+x} ] then cmake -DPDAL_VERSION_STRING=$RELNAME .. else