From 642b5fb0007b64c77d186fcb018d571152ee1d47 Mon Sep 17 00:00:00 2001
From: dzwdz
Date: Mon, 14 Aug 2023 18:51:07 +0200
Subject: reorganization: first steps

---
 contrib/dep_builders/dl | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100755 contrib/dep_builders/dl

(limited to 'contrib/dep_builders/dl')

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
-- 
cgit v1.2.3