diff options
| author | Jeff Epler <jepler@gmail.com> | 2020-08-04 12:39:55 -0500 |
|---|---|---|
| committer | Jeff Epler <jepler@gmail.com> | 2020-08-04 14:45:45 -0500 |
| commit | a85b6441fc6373689d793cd0904382464a5d58b7 (patch) | |
| tree | 55e8760491170c16fbd512f38c5301981a867908 /shared-module/socket | |
| parent | 024c8da57869b2aa49004f091520aaf5dacb26e6 (diff) | |
main: Drop "double extension" detection if not FULL_BUILD
This saves nearly 200 bytes. Curiously, it also saves RAM.
Diffstat (limited to 'shared-module/socket')
0 files changed, 0 insertions, 0 deletions