aboutsummaryrefslogtreecommitdiffstats
path: root/tools/flex/patches/100-disable-tests-docs.patch
diff options
context:
space:
mode:
Diffstat (limited to 'tools/flex/patches/100-disable-tests-docs.patch')
-rw-r--r--tools/flex/patches/100-disable-tests-docs.patch13
1 files changed, 13 insertions, 0 deletions
diff --git a/tools/flex/patches/100-disable-tests-docs.patch b/tools/flex/patches/100-disable-tests-docs.patch
new file mode 100644
index 0000000000..d6e289d5b3
--- /dev/null
+++ b/tools/flex/patches/100-disable-tests-docs.patch
@@ -0,0 +1,13 @@
+--- a/Makefile.am
++++ b/Makefile.am
+@@ -45,10 +45,7 @@
+ SUBDIRS = \
+ lib \
+ src \
+- doc \
+- examples \
+ po \
+- tests \
+ tools
+
+ # Create the ChangeLog, but only if we're inside a git working directory