diff options
| author | serg@serg.mysql.com <> | 2002-11-11 20:16:45 +0100 |
|---|---|---|
| committer | serg@serg.mysql.com <> | 2002-11-11 20:16:45 +0100 |
| commit | f8b0565cef6779c95bdbf1e6b8d4c0852bc44b8e (patch) | |
| tree | 0104d72a1a44fc4eb561e57d3201875598b9d123 /bdb/dist | |
| parent | 45f0852f5b5f9aef17af556a546e1f895a43049a (diff) | |
| download | mariadb-git-f8b0565cef6779c95bdbf1e6b8d4c0852bc44b8e.tar.gz | |
removed double-ignored files (bk citool bug ?)
Diffstat (limited to 'bdb/dist')
| -rw-r--r-- | bdb/dist/RELEASE | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/bdb/dist/RELEASE b/bdb/dist/RELEASE index 9054f122cb4..20b648efa04 100644 --- a/bdb/dist/RELEASE +++ b/bdb/dist/RELEASE @@ -18,3 +18,11 @@ chmod() { #echo "chmod $1 $2" } + +# useful trick to find auto-generated files +#cmp() +#{ +# echo "==>> CMP $1 $2" >/dev/tty +# /usr/bin/cmp "$1" "$2" +#} + |