Closed t-b closed 2 years ago
If you currently change one of the scripts in environment, you need to manually call cmake. This should be done automatically.
environment
Needs to be done after #766.
If you currently change one of the scripts in
environment
, you need to manually call cmake. This should be done automatically.