diff options
author | Jonah Snider <jonah@jonahsnider.com> | 2021-12-05 13:23:25 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-12-05 13:23:25 +0300 |
commit | 6ef6bdf1fd195572355461ec438a8258df5dbd59 (patch) | |
tree | 72ca0985b4e89bf232dd147075adced45f5afe0f /tools/install.py | |
parent | 147d23b2116394c5ed183217723ee3025f8ef99b (diff) |
build: add `--without-corepack`
PR-URL: https://github.com/nodejs/node/pull/41060
Reviewed-By: Richard Lau <rlau@redhat.com>
Reviewed-By: Colin Ihrig <cjihrig@gmail.com>
Reviewed-By: James M Snell <jasnell@gmail.com>
Reviewed-By: Antoine du Hamel <duhamelantoine1995@gmail.com>
Reviewed-By: Ruben Bridgewater <ruben@bridgewater.de>
Diffstat (limited to 'tools/install.py')
-rwxr-xr-x | tools/install.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/install.py b/tools/install.py index 12512a983ec..5340ce38b9b 100755 --- a/tools/install.py +++ b/tools/install.py @@ -163,6 +163,8 @@ def files(action): if 'true' == variables.get('node_install_npm'): npm_files(action) + + if 'true' == variables.get('node_install_corepack'): corepack_files(action) headers(action) |