From 8e6f6d694b8c183efc64c2dd7becbd2195303fd9 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Tue, 26 Jul 2022 09:19:54 -0400
Subject: Put _/bin on the PATH

The motivation for this was to prevent `lint` from rebuilding every time I ran
it. That was really annoying.
---
 Biz/Ide/lint | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100755 Biz/Ide/lint

(limited to 'Biz/Ide/lint')

diff --git a/Biz/Ide/lint b/Biz/Ide/lint
deleted file mode 100755
index f8bcc1e..0000000
--- a/Biz/Ide/lint
+++ /dev/null
@@ -1,2 +0,0 @@
-#!/usr/bin/env bash
-bild $BIZ_ROOT/Biz/Lint.hs && $BIZ_ROOT/_/bin/lint $@
-- 
cgit v1.2.3