From af6462b8dc58f770adcd107dae278ebc18287e66 Mon Sep 17 00:00:00 2001 From: Robert Schwebel Date: Tue, 15 Oct 2019 10:26:04 +0200 Subject: ptxdist: version bump 2019.09.0 -> 2019.10.1 There is a new ptxdist version, so we update DistroKit to use it. Signed-off-by: Robert Schwebel --- configs/platform-rpi/platformconfig | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'configs/platform-rpi') diff --git a/configs/platform-rpi/platformconfig b/configs/platform-rpi/platformconfig index fb37283..ab1ed4b 100644 --- a/configs/platform-rpi/platformconfig +++ b/configs/platform-rpi/platformconfig @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# PTXdist 2019.09.0 +# PTXdist 2019.10.1 # PTXCONF__platformconfig_MAGIC__=y @@ -19,7 +19,7 @@ PTXCONF_PLATFORM="rpi" PTXCONF_PLATFORM_VERSION="-${PTXDIST_BSP_AUTOVERSION}" PTXCONF_RUNTIME=y PTXCONF_BUILDTIME=y -PTXCONF_PLATFORMCONFIG_VERSION="2019.09.0" +PTXCONF_PLATFORMCONFIG_VERSION="2019.10.1" # # architecture -- cgit v1.2.3