From 27c38525f8b9dc6741c787b2101dd870533fe946 Mon Sep 17 00:00:00 2001 From: odaki Date: Mon, 23 Mar 2020 00:52:08 +0900 Subject: [PATCH] Make easy to change the default machine --- platformio.ini | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/platformio.ini b/platformio.ini index 8b169336..68fdba59 100644 --- a/platformio.ini +++ b/platformio.ini @@ -31,5 +31,11 @@ framework = arduino upload_speed = 512000 board_build.partitions = min_spiffs.csv monitor_speed = 115200 -build_flags = -DCORE_DEBUG_LEVEL=0 -Wno-unused-variable -Wno-unused-function -src_filter = +<*.h> +<*.s> +<*.S> +<*.cpp> +<*.c> +<*.ino> + -<.git/> - - - - +build_flags = + ;-DMACHINE_FILENAME=test_drive.h ;Remove ";" from the beginning of this line and specify the machine file + -DCORE_DEBUG_LEVEL=0 + -Wno-unused-variable + -Wno-unused-function +src_filter = + +<*.h> +<*.s> +<*.S> +<*.cpp> +<*.c> +<*.ino> + + -<.git/> - - - -