1
0
mirror of https://github.com/MariaDB/server.git synced 2026-01-06 05:22:24 +03:00

Merge pilot.(none):/data/msvensson/mysql/mysql-5.0-maint

into  pilot.(none):/data/msvensson/mysql/mysql-5.1-new-maint
This commit is contained in:
msvensson@pilot.(none)
2007-06-07 22:24:25 +02:00
2 changed files with 1 additions and 5 deletions

View File

@@ -2,7 +2,7 @@
# Test the debugging feature "show procedure/function code <name>"
#
-- source include/is_debug_build.inc
-- source include/have_debug.inc
--disable_warnings
drop procedure if exists empty;