From 8037c32b538348af4b5bef1f3d7e1a018a0a0e6b Mon Sep 17 00:00:00 2001 From: "Deomid \"rojer\" Ryabkov" Date: Sun, 8 Mar 2020 10:53:31 +0000 Subject: [PATCH] Save some space by disabling PPPoS --- mos.yml | 6 ------ 1 file changed, 6 deletions(-) diff --git a/mos.yml b/mos.yml index 2cc2d1e..daa068c 100644 --- a/mos.yml +++ b/mos.yml @@ -22,11 +22,5 @@ libs: - origin: https://github.com/mongoose-os-libs/boards - origin: https://github.com/mongoose-os-libs/demo-bundle -conds: - - when: mos.platform == "esp32" - apply: - libs: - - origin: https://github.com/mongoose-os-libs/pppos - # Used by the mos tool to catch mos binaries incompatible with this file format manifest_version: 2017-05-18