From 4eaf9a120919bf14923ee5d6138f7c5245ad3a38 Mon Sep 17 00:00:00 2001 From: Robert Schwebel Date: Mon, 12 Aug 2019 11:19:20 +0200 Subject: ptxdist: version bump 2019.07.0 -> 2019.08.0 A new ptxdist version is out, so we migrate Distrokit. 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 da75aba..5aef475 100644 --- a/configs/platform-rpi/platformconfig +++ b/configs/platform-rpi/platformconfig @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# PTXdist 2019.07.0 +# PTXdist 2019.08.0 # 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.07.0" +PTXCONF_PLATFORMCONFIG_VERSION="2019.08.0" # # architecture -- cgit v1.2.3