diff options
Diffstat (limited to 'plugins/Makefile.am')
| -rw-r--r-- | plugins/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/plugins/Makefile.am b/plugins/Makefile.am index d78cb63d83..88edda37f0 100644 --- a/plugins/Makefile.am +++ b/plugins/Makefile.am @@ -1,2 +1,4 @@ SUBDIRS = $(plugins_enabled) DIST_SUBDIRS = $(all_plugins_base) $(all_plugins_standard) $(all_plugins_experimental) profiler python + +-include $(top_srcdir)/git.mk |