Use os.path.samefile.

pull/15/head
Jussi Pakkanen 12 years ago
parent c2652d2f48
commit 5242cb8ee2
  1. 2
      runbuilder.py

@ -48,7 +48,7 @@ class Builder():
if not stat.S_ISDIR(os.stat(ndir2).st_mode): if not stat.S_ISDIR(os.stat(ndir2).st_mode):
raise RuntimeError('%s is not a directory' % dir2) raise RuntimeError('%s is not a directory' % dir2)
self.options = options 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.') 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(ndir1):
if self.has_builder_file(ndir2): if self.has_builder_file(ndir2):

Loading…
Cancel
Save