diff options
| -rw-r--r-- | configs/pic32mzdask_defconfig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configs/pic32mzdask_defconfig b/configs/pic32mzdask_defconfig index 169a2ac3dd..4017983b00 100644 --- a/configs/pic32mzdask_defconfig +++ b/configs/pic32mzdask_defconfig @@ -29,6 +29,6 @@ CONFIG_DM_ETH=y CONFIG_PIC32_ETH=y CONFIG_PINCTRL=y # CONFIG_PINCTRL_FULL is not set -CONFIG_SYS_VSNPRINTF=y +CONFIG_USE_PRIVATE_LIBGCC=y CONFIG_USE_TINY_PRINTF=y CONFIG_CMD_DHRYSTONE=y |