From 124a453f949e7d6d13a1d7a96490fec580830cf9 Mon Sep 17 00:00:00 2001 From: Christoph Knittel Date: Mon, 3 Oct 2022 07:16:55 +0200 Subject: [PATCH] Fix build / prettier --- scripts/installUtils.js | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/scripts/installUtils.js b/scripts/installUtils.js index 0ac3571e4c..905871fd47 100644 --- a/scripts/installUtils.js +++ b/scripts/installUtils.js @@ -45,7 +45,15 @@ function install() { }); // for merlin or other IDE - var installed_suffixes = [".ml", ".mli", ".res", ".resi", ".cmi", ".cmt", ".cmti"]; + var installed_suffixes = [ + ".ml", + ".mli", + ".res", + ".resi", + ".cmi", + ".cmt", + ".cmti", + ]; installDirBy(others_dir, ocaml_dir, function (file) { var y = path.parse(file); if (y.ext === ".cmi") {