Speed up projectenv.sh generation and execution

  • Improve projectenv.sh generation for super-project builds by populating extra_commands only once (needs cmake 3.19).
  • Use a faster shell-based duplicate removal.

This cherry-picks the non-controversial part of !3458 (closed)

/cc @clemenci

Merge request reports

Loading