From d1aa129c021975bb584af7f28c8827d8f3e60269 Mon Sep 17 00:00:00 2001
From: arostm <arostm97@gmail.com>
Date: Tue, 6 Jun 2017 10:08:02 +0200
Subject: [PATCH] DISCO_F413ZH: delete RTOS in build_travis.py

---
 tools/build_travis.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/tools/build_travis.py b/tools/build_travis.py
index 8ad3edc9e3..c3d055133d 100644
--- a/tools/build_travis.py
+++ b/tools/build_travis.py
@@ -232,7 +232,6 @@ linking_list = [
      {"target": "DISCO_F413ZH",
      "toolchains": "GCC_ARM",
      "tests": {""     : ["MBED_2", "MBED_10", "MBED_11", "MBED_16"],
-               "rtos" : ["RTOS_1", "RTOS_2", "RTOS_3"],
                }
      },
     {"target": "NUCLEO_F303ZE",