mirror of
https://github.com/MariaDB/server.git
synced 2025-01-29 18:20:07 +01:00
Merge lgrimmer@bk-internal.mysql.com:/home/bk/mysql-4.1
into mysql.com:/space/my/mysql-4.1
This commit is contained in:
commit
76cfd9c075
2 changed files with 3 additions and 1 deletions
|
@ -24,7 +24,7 @@ pkginclude_HEADERS = readline/readline.h
|
|||
|
||||
noinst_HEADERS = chared.h el.h el_term.h histedit.h key.h parse.h refresh.h sig.h \
|
||||
sys.h tokenizer.h config.h hist.h map.h prompt.h read.h \
|
||||
search.h tty.h libedit_term.h
|
||||
search.h tty.h libedit_term.h vis.h
|
||||
|
||||
EXTRA_DIST = makelist.sh np/unvis.c np/strlcpy.c np/vis.c np/vis.h np/strlcat.c np/fgetln.c
|
||||
|
||||
|
|
|
@ -1,3 +1,5 @@
|
|||
-- source include/have_innodb.inc
|
||||
|
||||
#
|
||||
# Problem with range optimizer
|
||||
#
|
||||
|
|
Loading…
Add table
Reference in a new issue