diff options
Diffstat (limited to 'exedir.patch')
| -rw-r--r-- | exedir.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/exedir.patch b/exedir.patch new file mode 100644 index 000000000000..f12c7ed3f631 --- /dev/null +++ b/exedir.patch @@ -0,0 +1,10 @@ +diff -aur package.pristine/install.ml package.new/install.ml +--- package.pristine/install.ml 2016-07-29 13:58:45.960287314 +0200 ++++ package.new/install.ml 2016-07-29 13:58:55.756885106 +0200 +@@ -7,5 +7,5 @@ + [ oasis_lib "ppx_custom_printf" + ; oasis_lib "ppx_format_lifter" + ; file "META" ~section:"lib" +- ; oasis_exe "ppx" ~dest:"../lib/ppx_custom_printf/ppx" ++ ; oasis_exe "ppx" ~dest:"../lib/ocaml/ppx_custom_printf/ppx" + ] |