Do it in make update tight after adding the remote. For some reason the searchall mechanism does not work reliably immediately after checkout. Fixes part of #139328.
Make Utility Scripts
Scripts used only by developers for now
Do it in make update tight after adding the remote. For some reason the searchall mechanism does not work reliably immediately after checkout. Fixes part of #139328.
Scripts used only by developers for now