From 9bcca3863ab1a4e9f9a42029f60dfd1ccc631caf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?St=C3=A9phane=20Cerveau?= <scerveau@igalia.com>
Date: Wed, 16 Nov 2022 08:52:44 +0100
Subject: [PATCH] src: use python to copy config.rs file

---
 src/meson.build | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/src/meson.build b/src/meson.build
index 72e75dd..434261e 100644
--- a/src/meson.build
+++ b/src/meson.build
@@ -9,12 +9,7 @@ configure_file(
 )
 
 # Copy the config.rs output to the source directory.
-run_command(
-  'cp',
-  join_paths(meson.build_root(), 'src', 'config.rs'),
-  join_paths(meson.source_root(), 'src', 'config.rs'),
-  check: true
-)
+run_command(python3, '-c', 'import shutil; shutil.copyfile("@0@", "@1@")'.format(join_paths(meson.build_root(), 'src', 'config.rs'), join_paths(meson.source_root(), 'src', 'config.rs')))
 
 rust_sources = files(
   'gps/player.rs',