From e266c3734cde2ef818a2b12795b2acfbe6b2f2a5 Mon Sep 17 00:00:00 2001 From: Robert Schwebel Date: Fri, 8 May 2020 18:54:16 +0200 Subject: ptxdist: version bump 2020.04.0 -> 2020.05.0 A new ptxdist version is out, update DistroKit. Signed-off-by: Robert Schwebel --- configs/platform-v8a/platformconfig | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'configs/platform-v8a/platformconfig') diff --git a/configs/platform-v8a/platformconfig b/configs/platform-v8a/platformconfig index 81f9e05..7c1ef20 100644 --- a/configs/platform-v8a/platformconfig +++ b/configs/platform-v8a/platformconfig @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# PTXdist 2020.04.0 +# PTXdist 2020.05.0 # PTXCONF__platformconfig_MAGIC__=y @@ -19,7 +19,7 @@ PTXCONF_PLATFORM="v8a" PTXCONF_PLATFORM_VERSION="-${PTXDIST_BSP_AUTOVERSION}" PTXCONF_RUNTIME=y PTXCONF_BUILDTIME=y -PTXCONF_PLATFORMCONFIG_VERSION="2020.04.0" +PTXCONF_PLATFORMCONFIG_VERSION="2020.05.0" # # architecture -- cgit v1.2.3