1 files changed, 9 insertions, 0 deletions
diff --git a/contrib/dep_builders/dl b/contrib/dep_builders/dl
new file mode 100755
index 0000000..e6f279f
--- /dev/null
+++ b/contrib/dep_builders/dl
@@ -0,0 +1,9 @@
+#!/bin/sh
+# downloads a file to toolchain/cache unless it's already present there
+
+mkdir -p cache/toolchain
+OUT="cache/toolchain/$(basename $1)"
+
+[ -e "$OUT" ] && exit
+echo "downloading $1..."
+curl "$1" > $OUT