mirror of
https://github.com/MariaDB/server.git
synced 2025-01-17 04:22:27 +01:00
baac3b76ac
don't checkin for Administrator or mysqldev sql/log.cc@1.157 restored a bugfix that was lost in a merge sql/log.cc: restored a bugfix that was lost in a merge BitKeeper/triggers/pre-delta: don't commit for Administrator or mysqldev
22 lines
490 B
Bash
Executable file
22 lines
490 B
Bash
Executable file
#!/bin/sh
|
|
|
|
if [ "$BK_USER" = "Administrator" -o "$BK_USER" = "mysqldev" ]
|
|
then
|
|
echo "Error: you cannot checkin as 'Administrator' or 'mysqldev' user."
|
|
echo "as a workaround set BK_USER to your nickname"
|
|
echo "e.g.: export BK_USER='bar'"
|
|
echo ""
|
|
echo "Checkin FAILED!"
|
|
echo "Set BK_USER and retry."
|
|
exit 1
|
|
fi
|
|
|
|
if [ `tail -c1 $BK_FILE` ]
|
|
then
|
|
echo "File $BK_FILE does not end with a new-line character!"
|
|
echo ""
|
|
echo "Checkin FAILED!"
|
|
echo "Fix the problem and retry."
|
|
exit 1
|
|
fi
|
|
|