From ef0dd74c53e10d51c42b98bf0f02b7163eda374e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 21 Sep 2016 16:14:27 -0700 Subject: [PATCH] try copy instead of cp Signed-off-by: Nikolaj Bjorner --- scripts/mk_util.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index 305f94609..1e91c2d0d 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -1296,7 +1296,9 @@ class DLLComponent(Component): if IS_WINDOWS: out.write(' /DEF:%s.def' % os.path.join(self.to_src_dir, self.name)) if self.staging_link: - if IS_WINDOWS or IS_OSX: + if IS_WINDOWS: + out.write('\n\tcopy %s %s' % (self.dll_file(), self.staging_link)) + elif IS_OSX: out.write('\n\tcp %s %s' % (self.dll_file(), self.staging_link)) else: out.write('\n\tln -f -s %s %s' % (os.path.join(reverse_path(self.staging_link), self.dll_file()), self.staging_link))