Ensure we use --enable-profile during make distcheck
This commit is contained in:
parent
0e5df17761
commit
5a6fbf7e52
@ -16,6 +16,8 @@ EXTRA_DIST = \
|
|||||||
CLEANFILES=
|
CLEANFILES=
|
||||||
DISTCLEANFILES=
|
DISTCLEANFILES=
|
||||||
|
|
||||||
|
DISTCHECK_CONFIGURE_FLAGS = --enable-gtk-doc --enable-maintainer-flags --enable-profile
|
||||||
|
|
||||||
# .release requires .changelog rules
|
# .release requires .changelog rules
|
||||||
include $(top_srcdir)/build/autotools/Makefile.am.changelog
|
include $(top_srcdir)/build/autotools/Makefile.am.changelog
|
||||||
include $(top_srcdir)/build/autotools/Makefile.am.release
|
include $(top_srcdir)/build/autotools/Makefile.am.release
|
||||||
|
Loading…
x
Reference in New Issue
Block a user