add script/bindownloader

WillAbides · Nov 24, 2019 · e39204b · e39204b
1 parent 990c632
commit e39204b
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/script/bindownloader b/script/bindownloader
@@ -0,0 +1,10 @@
+#!/bin/sh
+
+set -e
+
+CDPATH="" cd -- "$(dirname -- "$(dirname -- "$0")")"
+
+make -s bin/bindownloader
+
+# shellcheck disable=SC2068
+bin/bindownloader $@