[PATCH 4/4] meson-dist: Use shutil.copy for copying a file
Using os.system("cp {0} {1}".format(...)) has two issues, it does not
work on Windows, but more importantly it can cause issues in case one of
the directories has a space in it.
Signed-off-by: Martin Kletzander <mkletzan(a)redhat.com>
---
scripts/meson-dist.py | 7 +++----
1 file changed, 3 insertions(+), 4 deletions(-)
diff --git a/scripts/meson-dist.py b/scripts/meson-dist.py
index a1d36c2533da..1c2364f6b67e 100755
--- a/scripts/meson-dist.py
+++ b/scripts/meson-dist.py
@@ -2,13 +2,12 @@
import os
import sys
+import shutil
meson_build_root = sys.argv[1]
file_name = sys.argv[2]
meson_dist_root = os.environ['MESON_DIST_ROOT']
-os.system('cp {0} {1}'.format(
- os.path.join(meson_build_root, file_name),
- os.path.join(meson_dist_root, file_name)
-))
+shutil.copy(os.path.join(meson_build_root, file_name),
+ os.path.join(meson_dist_root, file_name))
--
2.41.0