tree cb63ca1ec57c165b13fd42b2511930cf37b7c4fa
parent cefec44aeea170e5605a9fe8386c084ffa5d77e1
author Gyorgy Szing <Gyorgy.Szing@arm.com> 1638406107 +0100
committer Gyorgy Szing <Gyorgy.Szing@arm.com> 1638409559 +0100

Fix: stop overriding platform setting

The TS_PLATFORM variable was overwritten in the deployment files
which made it impossible to change the platform from the command line.
This change fixes that, and only sets a default value.

Change-Id: I0c7cd8d3079996d3ce502d6c9474f24ee83c5f07