1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-07 00:04:31 +03:00

post-commit BK_STATUS/BK_COMMIT issue fixed

This commit is contained in:
serg@hynda.mysql.fi
2001-01-14 18:40:26 +02:00
parent db29ac337d
commit 4f32a0a9f1

View File

@@ -4,6 +4,8 @@
TO=dev@mysql.com TO=dev@mysql.com
FROM=$USER@mysql.com FROM=$USER@mysql.com
BK_STATUS=$BK_STATUS$BK_COMMIT
if [ "$BK_STATUS" = OK ] if [ "$BK_STATUS" = OK ]
then then
echo "Commit successful, notifying developers at $TO" echo "Commit successful, notifying developers at $TO"