Update setup.py

esheldon · Jul 18, 2023 · 09f7e97 · 09f7e97
1 parent 577a028
commit 09f7e97
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/setup.py b/setup.py
@@ -237,6 +237,7 @@ def copy_update(dir1, dir2):
 
         if os.path.exists(makefile):
             # Makefile already there
+            print("found Makefile so not running configure!", flush=True)
             return
 
         args = ''