From 9c2fb7a560195286ac1bf8f4f9a1a3977636e302 Mon Sep 17 00:00:00 2001 From: Jimmy Brisson Date: Wed, 27 Feb 2019 09:54:46 -0600 Subject: [PATCH] Correct command line for listing supported exporters The command line included is valid since 5.5.0. --- docs/tools/toolchains/export_to_third_party.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/tools/toolchains/export_to_third_party.md b/docs/tools/toolchains/export_to_third_party.md index 4b88e8522a..a5f3f683d2 100644 --- a/docs/tools/toolchains/export_to_third_party.md +++ b/docs/tools/toolchains/export_to_third_party.md @@ -57,7 +57,7 @@ has the same flags as if you had compiled with: For a complete list of supported export toolchains, you can run: - $ mbed export -h + $ mbed export --supported ides ### Before you export