From b7bbb967baa622cc2a586609b56aaba356898a19 Mon Sep 17 00:00:00 2001 From: Marc Delisle Date: Tue, 16 Mar 2010 08:10:49 -0400 Subject: [PATCH] no branch exist in the cloned directory; advice for changes before validation --- scripts/create-release.sh | 65 +++++++++++++++++++-------------------- 1 file changed, 32 insertions(+), 33 deletions(-) diff --git a/scripts/create-release.sh b/scripts/create-release.sh index 269ef4461..9e5b0a166 100755 --- a/scripts/create-release.sh +++ b/scripts/create-release.sh @@ -35,37 +35,6 @@ shift branch=$1 shift -# Create working copy -mkdir -p release -workdir=release/phpMyAdmin-$version -if [ -d $workdir ] ; then - echo "Working directory '$workdir' already exists, please move it out of way" - exit 1 -fi -git clone --local . $workdir -cd $workdir - -# Checkout branch -git checkout $branch - -# Check release version -if ! grep -q "'PMA_VERSION', '$version'" libraries/Config.class.php ; then - echo "There seems to be wrong version in libraries/Config.class.php!" - exit 2 -fi -if ! grep -q "phpMyAdmin $version - Documentation" Documentation.html ; then - echo "There seems to be wrong version in Documentation.html" - exit 2 -fi -if ! grep -q "phpMyAdmin $version - Official translators" translators.html ; then - echo "There seems to be wrong version in translators.html" - exit 2 -fi -if ! grep -q "Version $version\$" README ; then - echo "There seems to be wrong version in README" - exit 2 -fi - cat < RELEASE-DATE-${version} @@ -203,8 +202,8 @@ cat <