add new helper-script strip_defines_cppp.sh, adapt file-name in...
add new helper-script strip_defines_cppp.sh, adapt file-name in prepare_instrumentation.sh, use quotation marks
WARNING! Gitlab maintenance operation scheduled for Monday, 20 April between 12:00 and 14:00 (CET). During this time window, short service interruptions (less than 5 minutes) may occur. Thank you in advance for your understanding.
add new helper-script strip_defines_cppp.sh, adapt file-name in prepare_instrumentation.sh, use quotation marks