setup.py: do not run 'make' if Makefile is not available

c82c1d06 · Denis Bilenko · 052d7150 · c82c1d06
Commit c82c1d06 authored Aug 02, 2011 by Denis Bilenko
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 2 deletions

setup.py setup.py +3 -2

No files found.
--- a/setup.py
+++ b/setup.py
@@ -125,8 +125,9 @@ if ares_embed:

 def make(done=[]):
    if not done:
-        if os.system('make'):
-            sys.exit(1)
+        if os.path.exists('Makefile'):
+            if os.system('make'):
+                sys.exit(1)
        done.append(1)