diff options
author | Nirbheek Chauhan <nirbheek@centricular.com> | 2020-02-12 03:06:12 +0530 |
---|---|---|
committer | Nirbheek Chauhan <nirbheek.chauhan@gmail.com> | 2020-02-17 23:58:20 +0530 |
commit | bb7c0a163f8f39993d8ec8927a852f83f3c34985 (patch) | |
tree | 823c9ad0dc299847d03ba58d95361feb047385be | |
parent | 2860bd03859bd75835f1b7e78cb94e94665d5520 (diff) | |
download | meson-bb7c0a163f8f39993d8ec8927a852f83f3c34985.zip meson-bb7c0a163f8f39993d8ec8927a852f83f3c34985.tar.gz meson-bb7c0a163f8f39993d8ec8927a852f83f3c34985.tar.bz2 |
minstall: Error out when trying to copy file to dir
Not sure why this wasn't already an error. It's a bad situation to be
in, and we should not ignore it.
-rw-r--r-- | mesonbuild/minstall.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mesonbuild/minstall.py b/mesonbuild/minstall.py index 98bf5c8..9ac5a29 100644 --- a/mesonbuild/minstall.py +++ b/mesonbuild/minstall.py @@ -321,6 +321,7 @@ class Installer: abs_dst = os.path.join(dst_dir, filepart) if os.path.isdir(abs_dst): print('Tried to copy file %s but a directory of that name already exists.' % abs_dst) + sys.exit(1) parent_dir = os.path.dirname(abs_dst) if not os.path.isdir(parent_dir): os.mkdir(parent_dir) |