Commits

Denis Bilenko  committed 1a931a0

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

  • Participants
  • Parent commits a2d018e

Comments (0)

Files changed (1)

 
 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)