1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

POSIX.2 compatible fix

This commit is contained in:
serg@serg.mysql.com
2001-11-08 00:14:16 +01:00
parent 4dabf4b3c4
commit b03a786ce5

View File

@ -61,7 +61,7 @@ EOF
# docs-commit@ mail
#--
bk changes -v -r+ | grep -q Docs/manual.texi
if [ $? == 0 ]
if [ $? -eq 0 ]
then
echo "Notifying docs list at $DOCS"
(