From abe07166de544ed1ac1d17ffd0a3267be2f14779 Mon Sep 17 00:00:00 2001 From: Rafa de la Torre Date: Wed, 10 Aug 2016 15:39:28 +0200 Subject: [PATCH] Add installation of current dev version --- check-compatibility.sh | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/check-compatibility.sh b/check-compatibility.sh index 545f99f..f6930e7 100755 --- a/check-compatibility.sh +++ b/check-compatibility.sh @@ -50,11 +50,13 @@ EOF # TODO save public functions and signatures +# Deploy current dev branch +make clean-dev || die "Could not clean dev files" +sudo make install || die "Could not deploy current dev branch" + # Check it can be upgraded psql $DBNAME -c "ALTER EXTENSION crankshaft update to 'dev';" || die "Cannot upgrade to dev version" # TODO check against saved public functions and signatures - -