Changeset dc5c303 in mainline for tools/export.sh

Timestamp:

2023-12-28T13:59:23Z (15 months ago)

Author:

GitHub <noreply@…>

Children:

6b66de6b

Parents:

42c2e65 (diff), f87ff8e (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

git-author:

boba-buba <120932204+boba-buba@…> (2023-12-28 13:59:23)

git-committer:

GitHub <noreply@…> (2023-12-28 13:59:23)

Message:

Merge branch 'master' into topic/packet-capture

File:

• tools/export.sh (modified) (1 diff)

tools/export.sh

@@ -67 +67 @@
 ninja devel-headers
 
+#
+# Meson may produce thin archives. These cannot be simply copied to another
+# location. Copy them using ar instead, converting them to regular,
+# non-thin archives in the process.
+#
 mkdir -p "$EXPORT_DIR/lib"
-cp -t "$EXPORT_DIR/lib" $EXPORT_LIBS
+for lpath in $EXPORT_LIBS; do
+        dest="$EXPORT_DIR/lib/$(basename $lpath)"
+        ar -t $lpath | xargs ar crs $dest
+done
+
 rm -rf "$EXPORT_DIR/include"
 cp -R dist/include "$EXPORT_DIR/include"