mirror of
https://github.com/MariaDB/server.git
synced 2026-05-15 03:17:20 +02:00
fix 'make dist'
This commit is contained in:
parent
c56d1c248e
commit
94e3b91d4e
1 changed files with 1 additions and 1 deletions
|
|
@ -21,7 +21,7 @@ pkglib_LIBRARIES = libdbug.a
|
|||
noinst_HEADERS = dbug_long.h
|
||||
libdbug_a_SOURCES = dbug.c sanity.c
|
||||
EXTRA_DIST = example1.c example2.c example3.c \
|
||||
user.r monty.doc readme.prof dbug_add_tags.pl \
|
||||
user.r monty.doc dbug_add_tags.pl \
|
||||
my_main.c main.c factorial.c dbug_analyze.c
|
||||
NROFF_INC = example1.r example2.r example3.r main.r \
|
||||
factorial.r output1.r output2.r output3.r \
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue