tree 30219468a536a2d457138ad7047b13a380f48034
parent ba8a0652309f012b594fecf4a0b5efe91fa17cec
parent 7bfeb66d1aab1d364c471dec0d1940a9f6193b6e
author Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com> 1583399044 +0100
committer GitHub <noreply@github.com> 1583399044 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJeYMCFCRBK7hj4Ov3rIwAAdHIIADNR6TwQ+RUqTO6HlMHwvMaj
 XSMn1pJJHh8FXw+WZnNhJQWprJ6ECIavpBD2CvuL3ZzM5wg+Rw6FwS5WECMy+src
 T1QBBkC28B7Kf8VRfg/4je9gOpX/3jdJGbBA/XydkfZYD04Lz45rZyogzfWE3aqQ
 HcTNHqiKeddGdk5/aEhk235dzzpg1hQ34xeGqVhU8wQV4yEZN2e1PcOBTXvkf+Ie
 93YH7LbtAnjzQXd5Wz24Cdi4WdGgsBmhSvE2u77f2RNrp990tAlW5ojRTl5v9pdC
 Y8Cg24s11I+8w6m+brZQqF7oW6OsoTUmfirI6fN0QMIwuvlGpYqBsMhWssDS0mc=
 =imdd
 -----END PGP SIGNATURE-----
 

Merge pull request #3072 from ARMmbed/output_env-enhancements

Enhance the `output_env.sh` script with GBD and Distro version