Commit b1874924 authored by Jerome Chauveau's avatar Jerome Chauveau
Browse files

basex zip url update

parent 5e81aa18

tools/test-deploy.sh

+3 −2
Original line number Diff line number Diff line
@@ -2,7 +2,8 @@ 


TARGET=max-install-test

DIRECTORY=/tmp/$TARGET

BASEX_URL=https://files.basex.org/releases/9.5/BaseX95.zip

BASEX_URL=https://files.basex.org/releases/10.4/BaseX104.zip





cd /tmp
@@ -19,7 +20,7 @@ cd $TARGET 


git clone git@git.unicaen.fr:pdn-certic/MaX.git



#curl basex 9.5

#curl basex zip

basex_zip=`basename $BASEX_URL`

curl --silent -k -O $BASEX_URL

unzip $basex_zip