Polyspace Metrics server

Choose the Polyspace Metrics server to be used in this project, as defined on the Configure System page.

You can then use these variables in scripts in the Build section of this project. For instance, in a Shell script, use these variables with the syntax $VAR. In a Windows batch file, use the syntax %VAR%.