diff options
Diffstat (limited to 'configs/platform-rpi')
-rw-r--r-- | configs/platform-rpi/platformconfig | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/configs/platform-rpi/platformconfig b/configs/platform-rpi/platformconfig index cbfba66..8c5167d 100644 --- a/configs/platform-rpi/platformconfig +++ b/configs/platform-rpi/platformconfig @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# PTXdist 2017.06.0 +# PTXdist 2017.07.0 # PTXCONF__platformconfig_MAGIC__=y @@ -19,7 +19,7 @@ PTXCONF_PLATFORM="rpi" PTXCONF_PLATFORM_VERSION="-2017.05.0" PTXCONF_RUNTIME=y PTXCONF_BUILDTIME=y -PTXCONF_PLATFORMCONFIG_VERSION="2017.06.0" +PTXCONF_PLATFORMCONFIG_VERSION="2017.07.0" # # architecture @@ -97,6 +97,7 @@ PTXCONF_TARGET_DEBUG_KEEP=y # PTXCONF_TARGET_DEBUG_ENABLE is not set # PTXCONF_TARGET_DEBUG_FULL is not set PTXCONF_TARGET_COMPILER_RECORD_SWITCHES=y +PTXCONF_TARGET_BUILD_ID=y PTXCONF_TARGET_EXTRA_CPPFLAGS="" PTXCONF_TARGET_EXTRA_CFLAGS="" PTXCONF_TARGET_EXTRA_CXXFLAGS="" |