diff options
Diffstat (limited to 'no-bisect_ppx.diff')
| -rw-r--r-- | no-bisect_ppx.diff | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/no-bisect_ppx.diff b/no-bisect_ppx.diff new file mode 100644 index 000000000000..86bd8c0b0ce5 --- /dev/null +++ b/no-bisect_ppx.diff @@ -0,0 +1,10 @@ +diff --git a/src/react/dune b/src/react/dune +index 318cb3c75..7d1680b6c 100644 +--- a/src/react/dune ++++ b/src/react/dune +@@ -10,5 +10,4 @@ + (synopsis "Reactive programming helpers for Lwt") + (wrapped false) + (libraries lwt react) +- (preprocess (pps bisect_ppx --conditional)) + (flags (:standard -w +A))) |