1 files changed, 6 insertions, 0 deletions
diff --git a/Functions/harden b/Functions/harden
new file mode 100755
index 000000000..c02689362
--- /dev/null
+++ b/Functions/harden
@@ -0,0 +1,6 @@
+#! /bin/sh
+# harden a link (convert it to a singly linked file)
+cp $1 $1.foo
+rm $1
+mv $1.foo $1
+