diff options
Diffstat (limited to 'Build-tools/Do-local-patch-file')
-rwxr-xr-x | Build-tools/Do-local-patch-file | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/Build-tools/Do-local-patch-file b/Build-tools/Do-local-patch-file deleted file mode 100755 index 708d06966d3..00000000000 --- a/Build-tools/Do-local-patch-file +++ /dev/null @@ -1,37 +0,0 @@ -#!/bin/sh -# make a patch file of a mysql distribution -# takes as argument the previous version - -case $# in -0) echo Usage: $0 previous_version; exit 1;; -esac - -PVER=$1; -VER=`grep SERVER_VERSION include/mysql_version.h | cut -d'"' -f2` -NEW="mysql-$VER.tar.gz" -OLD="mysql-$PVER.tar.gz" -RESULT="mysql-$PVER-$VER.patch.gz" -PATCH_DIR=/my/data/tcxwww/html/Downloads/Patches -RESULT_DIR=/my/data/tcxwww/html/Downloads/MySQL-3.22 - -if test ! -f $NEW -then - echo "$NEW doesn't exist"; - exit 1; -fi - -if test ! -f $RESULT_DIR/$OLD -then - echo "$RESULT_DIR/$OLD doesn't exist"; - exit 1; -fi - -mkdir patch -cd patch -gtar xfz ../$NEW -gtar xfz $RESULT_DIR/$OLD -cd mysql-$PVER -diff --context --new-file --recursive . ../mysql-$VER | gzip -9 > ../../$RESULT -cd ../.. -/bin/rm -rf patch - |