From c96cd83496c3567afb8d68c873bad00a5a94c990 Mon Sep 17 00:00:00 2001
From: Christoph Knittel <ck@cca.io>
Date: Sat, 22 Apr 2023 13:08:53 +0200
Subject: [PATCH] Remove more unused/outdated scripts

---
 jscomp/bench.js           | 20 --------------------
 jscomp/cleanlib.js        | 13 -------------
 scripts/littlecase.js     | 21 ---------------------
 scripts/local_br_clean.sh |  2 --
 4 files changed, 56 deletions(-)
 delete mode 100644 jscomp/bench.js
 delete mode 100755 jscomp/cleanlib.js
 delete mode 100644 scripts/littlecase.js
 delete mode 100755 scripts/local_br_clean.sh

diff --git a/jscomp/bench.js b/jscomp/bench.js
deleted file mode 100644
index e877c73f9f..0000000000
--- a/jscomp/bench.js
+++ /dev/null
@@ -1,20 +0,0 @@
-//@ts-check
-var cp = require("child_process");
-
-var output = cp.execSync(`ninja -t commands test/ocaml_typedtree_test.cmj`, {
-  encoding: "utf8"
-});
-
-var toDO = output
-  .split("\n")
-  .filter(x => x.trim())
-  .pop()
-  .replace(".exe", ".darwin");
-
-console.log(cp.execSync(`time ${toDO}`, { encoding: "utf8" }));
-
-/*
-  real    0m3.658s
-user    0m3.562s
-sys     0m0.089s
- */
diff --git a/jscomp/cleanlib.js b/jscomp/cleanlib.js
deleted file mode 100755
index c933ef1136..0000000000
--- a/jscomp/cleanlib.js
+++ /dev/null
@@ -1,13 +0,0 @@
-#!/usr/bin/env node
-var cp = require('child_process')
-var fs = require('fs')
-function run() {
-    cp.execSync(`make clean`)
-    cp.execSync(`git clean -dfx stdlib-406 test others runtime`)
-}
-
-if(require.main === module){
-    run()
-}
-
-exports.run = run
\ No newline at end of file
diff --git a/scripts/littlecase.js b/scripts/littlecase.js
deleted file mode 100644
index ba17568e10..0000000000
--- a/scripts/littlecase.js
+++ /dev/null
@@ -1,21 +0,0 @@
-//@ts-check
-
-let fs = require("fs");
-let path = require("path");
-
-function copyReasonReact() {
-  let dir = path.join(__dirname, "..", "..", "reason-react", "src");
-  let files = fs.readdirSync(dir);
-  files.forEach(x => {
-    if (!(x.endsWith(".res") || x.endsWith(".resi"))) {
-      return;
-    }
-    let little = x[0].toLowerCase() + x.slice(1);
-    let src = path.join(dir, x);
-    let dst = path.join(__dirname, "..", "jscomp", "test", little);
-    console.log(`${src} -> ${dst}`);
-    fs.copyFileSync(src, dst);
-  });
-}
-
-copyReasonReact();
diff --git a/scripts/local_br_clean.sh b/scripts/local_br_clean.sh
deleted file mode 100755
index 6f5d99bf55..0000000000
--- a/scripts/local_br_clean.sh
+++ /dev/null
@@ -1,2 +0,0 @@
-#!/bin/sh
-git branch --merged | grep -v '\*\|master\|main\|develop' | xargs -n 1 git branch -d
\ No newline at end of file