commit 84412ff198c64c2b375a97b11ad702d2be5cd17e
Author: Jean-Marc Lasgouttes <[email protected]>
Date: Sun Nov 29 21:40:22 2020 +0100
Small fixes to extract.sh
The libs/ directory is not relevant anymore.
---
3rdparty/boost/extract.sh | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/3rdparty/boost/extract.sh b/3rdparty/boost/extract.sh
index bdc0a69..c355c4a 100755
--- a/3rdparty/boost/extract.sh
+++ b/3rdparty/boost/extract.sh
@@ -38,7 +38,7 @@ find boost -name \*.hpp | xargs rm
#find libs -name \*.cpp | xargs rm
cp -vR needed/boost .
-cp -vR needed/libs .
+#cp -vR needed/libs .
rm -rf needed
--
lyx-cvs mailing list
[email protected]
http://lists.lyx.org/mailman/listinfo/lyx-cvs
