Changeset 80981d79 in mainline

Timestamp:

2023-05-18T07:49:47Z (3 weeks ago)

Author:

GitHub <noreply@…>

Parents:

14cbf07 (diff), d8581611 (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:

Stefan <stefan.haubenthal@…> (2023-05-18 07:49:47)

git-committer:

GitHub <noreply@…> (2023-05-18 07:49:47)

Message:

Merge d8581611fd026fe0e15b2f7f878a31fea99e2708 into 14cbf074bd9a512a47130fc27027a861c38bc286

File:

• configure.sh (modified) (1 diff)

configure.sh

@@ -164 +164 @@
 sed "s:@COMPPREFIX@:$compprefix:g" "$cross_def" > crossfile || exit 1
 
-meson "${SOURCE_DIR}" '.' --cross-file crossfile || exit 1
+meson setup "${SOURCE_DIR}" '.' --cross-file crossfile || exit 1
 
 echo