Add -gc=custom option (#3302)

* Add -gc=custom option
This commit is contained in:
Anuraag Agrawal
2023-01-29 04:24:56 +09:00
committed by GitHub
parent 13698b17f7
commit eebd2f648b
7 changed files with 67 additions and 6 deletions
+1 -1
View File
@@ -8,7 +8,7 @@ import (
)
var (
validGCOptions = []string{"none", "leaking", "conservative", "precise"}
validGCOptions = []string{"none", "leaking", "conservative", "custom", "precise"}
validSchedulerOptions = []string{"none", "tasks", "asyncify"}
validSerialOptions = []string{"none", "uart", "usb"}
validPrintSizeOptions = []string{"none", "short", "full"}