From 5242cb8ee22a0d21769b8bd102475a44f949a7b7 Mon Sep 17 00:00:00 2001
From: Jussi Pakkanen <jpakkane@gmail.com>
Date: Wed, 26 Dec 2012 16:47:36 +0200
Subject: [PATCH] Use os.path.samefile.

---
 runbuilder.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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):