diff options
Diffstat (limited to 'tools/flex/patches')
| -rw-r--r-- | tools/flex/patches/100-disable-tests-docs.patch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/flex/patches/100-disable-tests-docs.patch b/tools/flex/patches/100-disable-tests-docs.patch index f298bc911d..f7097f2127 100644 --- a/tools/flex/patches/100-disable-tests-docs.patch +++ b/tools/flex/patches/100-disable-tests-docs.patch @@ -1,8 +1,8 @@ --- a/Makefile.am +++ b/Makefile.am -@@ -45,10 +45,7 @@ EXTRA_DIST = \ +@@ -43,10 +43,7 @@ EXTRA_DIST = \ + SUBDIRS = \ - lib \ src \ - doc \ - examples \ |