Add thirdparty libs

2026-08-14 12:46:58 +00:00 · 2020-10-22 20:43:01 +03:00
parent 76cfb7b813
commit 940d664def
4391 changed files with 1144864 additions and 0 deletions
@@ -0,0 +1,10 @@
+#!/bin/sh
+
+rm -f "$2"
+if test "$OSTYPE" = msdosdjgpp || test "x$PLATFORM" = xmingw ; then
+    cp "$1" "$2"
+else
+    ln -s "$1" "$2"
+fi
+echo "$2 => $1"
+