diff --git a/tools/export/.gitignore b/tools/export/.gitignore
new file mode 100644
index 0000000000..0b574199a7
--- /dev/null
+++ b/tools/export/.gitignore
@@ -0,0 +1 @@
+!.mbed
\ No newline at end of file