Jenkins CI: option for selective trace file build

adds an option to the Makefile to allow selected platform build with trace option enabled when run in Jenkins

Merge request reports

Loading