diff options
Diffstat (limited to 'Build-tools/cvs-sanity-check')
| -rwxr-xr-x | Build-tools/cvs-sanity-check | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/Build-tools/cvs-sanity-check b/Build-tools/cvs-sanity-check deleted file mode 100755 index b3d57e98033..00000000000 --- a/Build-tools/cvs-sanity-check +++ /dev/null @@ -1,15 +0,0 @@ -#! /bin/sh - -CVSROOT=my@work.mysql.com:/home/cvs -CVS_RSH=ssh -TMPDIR=/tmp -cd $TMPDIR -[ -d mysql ] && rm -rf mysql -CVSROOT=$CVSROOT CVS_RSH=$CVS_RSH cvs -z 9 co mysql && cd mysql && \ - chmod u+w -R * && BUILD/compile-pentium -if test $? = 0 -then -cd $TMPDIR && rm -rf mysql -fi - - |