From 74f4cf2f1022b37873c153f3f2683eec6771d9f2 Mon Sep 17 00:00:00 2001
From: Till Wegmüller <toasterson@gmail.com>
Date: Fri, 03 Jun 2022 17:42:32 +0200
Subject: [PATCH] Switch cloney to hardlinks instead of softlinks
---
tools/cloney | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/tools/cloney b/tools/cloney
index 436525d..c27ed16 100755
--- a/tools/cloney
+++ b/tools/cloney
@@ -52,5 +52,5 @@
while read i;
do
rm -f "${destdir}/$i"
- ln -s "${srcdir}/$i" "${destdir}/$i"
+ ln "${srcdir}/$i" "${destdir}/$i"
done
--
Gitblit v1.9.3