diff options
| author | Rosen Penev <rosenp@gmail.com> | 2019-06-03 02:11:20 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-03 02:11:20 -0700 |
| commit | 15a06064034478ab65f0c19dad3e043578226a45 (patch) | |
| tree | 6d645b712c8c69573e603d4645ff00223d003166 /lang/python/python3/Makefile | |
| parent | 88c709829acaf20a6d8c904a74111e16bec1aa39 (diff) | |
| parent | 87a31e49f77ea252e454eeb780fee8342119bab0 (diff) | |
Merge pull request #9100 from jefferyto/isolate-host-python
python,python3: Better isolate host Python
Diffstat (limited to 'lang/python/python3/Makefile')
| -rw-r--r-- | lang/python/python3/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lang/python/python3/Makefile b/lang/python/python3/Makefile index 9ada7c2cf..02300bae0 100644 --- a/lang/python/python3/Makefile +++ b/lang/python/python3/Makefile @@ -300,6 +300,11 @@ HOST_CONFIGURE_ARGS+= \ --with-ensurepip=upgrade \ CONFIG_SITE= +define Host/Configure + $(SED) 's/^ENABLE_USER_SITE = None$$$$/ENABLE_USER_SITE = False/' $(HOST_BUILD_DIR)/Lib/site.py + $(call Host/Configure/Default) +endef + define Host/Compile +$(HOST_MAKE_VARS) $(MAKE) $(HOST_JOBS) -C $(HOST_BUILD_DIR) python Parser/pgen +$(HOST_MAKE_VARS) $(MAKE) $(HOST_JOBS) -C $(HOST_BUILD_DIR) sharedmods |