From a4d4fb22efecf5bfb4409283147efb1e60e9157f Mon Sep 17 00:00:00 2001 From: Thomas Refis Date: Tue, 27 Feb 2018 18:08:50 +0000 Subject: [PATCH] v0.10.116.15+15 --- src/jbuild | 11 ++++++----- test/jbuild | 5 +++-- 2 files changed, 9 insertions(+), 7 deletions(-) diff --git a/src/jbuild b/src/jbuild index b066e515f..9f0d9678f 100644 --- a/src/jbuild +++ b/src/jbuild @@ -1,9 +1,10 @@ -(library - ((name ppx_let) +(library ( + (name ppx_let) (public_name ppx_let) - (kind ppx_rewriter) - (flags (:standard -safe-string)) - (libraries (ppx_core ppx_driver)) + (kind ppx_rewriter) + (flags (:standard -safe-string)) + (libraries (ppx_core ppx_driver)) (preprocess no_preprocessing))) + (jbuild_version 1) diff --git a/test/jbuild b/test/jbuild index 7917744c2..4d46bc57a 100644 --- a/test/jbuild +++ b/test/jbuild @@ -1,7 +1,8 @@ -(executables - ((names (test)) +(executables ( + (names (test)) (flags (:standard -safe-string)) (preprocess (pps (ppx_let ppx_driver.runner))))) + (jbuild_version 1)