diff options
-rw-r--r-- | configs/platform-v7a/platformconfig | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/configs/platform-v7a/platformconfig b/configs/platform-v7a/platformconfig index 57997eb..236c68e 100644 --- a/configs/platform-v7a/platformconfig +++ b/configs/platform-v7a/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="v7a" PTXCONF_PLATFORM_VERSION="-${PTXDIST_BSP_AUTOVERSION}" 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="" |