diff options
| author | Jussi Pakkanen <jpakkane@gmail.com> | 2012-12-26 16:47:36 +0200 |
|---|---|---|
| committer | Jussi Pakkanen <jpakkane@gmail.com> | 2012-12-26 16:47:36 +0200 |
| commit | 5242cb8ee22a0d21769b8bd102475a44f949a7b7 (patch) | |
| tree | 421de53a6937817c591495746eb0bba3fdaeb007 /runbuilder.py | |
| parent | c2652d2f48f441603f856a62e532695368ef4bdc (diff) | |
| download | meson-5242cb8ee22a0d21769b8bd102475a44f949a7b7.tar.gz | |
Use os.path.samefile.
Diffstat (limited to 'runbuilder.py')
| -rwxr-xr-x | runbuilder.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runbuilder.py b/runbuilder.py index 7b04d2a80..beeb53706 100755 --- a/runbuilder.py +++ b/runbuilder.py @@ -48,7 +48,7 @@ class Builder(): if not stat.S_ISDIR(os.stat(ndir2).st_mode): raise RuntimeError('%s is not a directory' % dir2) self.options = options - if ndir1 == ndir2: + if os.path.samefile(dir1, dir2): raise RuntimeError('Source and build directories must not be the same. Create a pristine build directory.') if self.has_builder_file(ndir1): if self.has_builder_file(ndir2): |
