Side effect of a SETTE-configuration setup procedure

Context and analysis

During the SETTE-configuration setup procedure, a common list of pre-processing keys, stored in variable DEL_KEYS, is used to suppress pre-processing keys for builds of the various selected SETTE configurations. This list is potentially modified during the setup of C1D SETTE-configuration variants, which could have unintended consequences for configurations that are built subsequently. The building of the C1D configuration variant included in the current default list of SETTE configurations, however, does not have such side effect.

Fix

Any modification of variable DEL_KEYS during the setting up of C1D SETTE-configuration variants could be avoided through the use of a local copy of this variable.