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
adds an option to the Makefile to allow selected platform build with trace option enabled when run in Jenkins