diff options
Diffstat (limited to 'bdb')
| -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" +#} + |