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

---
 tools/dep_builders/dl | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100755 tools/dep_builders/dl

(limited to 'tools/dep_builders/dl')

diff --git a/tools/dep_builders/dl b/tools/dep_builders/dl
deleted file mode 100755
index 8cfeebc..0000000
--- a/tools/dep_builders/dl
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/sh
-# downloads a file to toolchain/cache unless it's already present there
-
-mkdir -p toolchain/cache
-OUT="toolchain/cache/$(basename $1)"
-
-[ -e "$OUT" ] && exit
-echo "downloading $1..."
-curl "$1" > $OUT
-- 
cgit v1.2.3