diff options
| -rw-r--r-- | SetupTools.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/SetupTools.py b/SetupTools.py index 5892e72..6608d17 100644 --- a/SetupTools.py +++ b/SetupTools.py @@ -159,6 +159,8 @@ def run_setup(configurations): except BuildFailed, x: print("One or more C extensions failed to build.") print("Details: %s" % x) + if os.environ.get('CHEETAH_C_EXTENSIONS_REQUIRED'): + raise x print("Retrying without C extensions enabled.") del kws['ext_modules'] |