1 files changed, 0 insertions, 26 deletions
diff --git a/tools/find-root b/tools/find-root
deleted file mode 100755
index d2c71ab..0000000
--- a/tools/find-root
+++ /dev/null
@@ -1,26 +0,0 @@
-#!/bin/sh
-
-set -eu
-
-if [ ! "${1:-}" ]; then
-    exit 1
-fi
-
-BASEDIR="$(dirname "$1")"
-
-while read -r glob; do
-    cd "$BASEDIR"
-
-    while [ "$PWD" != "/" ]; do
-        set -- $glob
-
-        if [ -e "$1" ]; then
-            echo "$PWD"
-            exit 0
-        fi
-
-        cd ..
-    done
-done
-
-echo "$BASEDIR"