diff --git a/mbed-os-to-arduino b/mbed-os-to-arduino index ef911b5e4..299c5935d 100755 --- a/mbed-os-to-arduino +++ b/mbed-os-to-arduino @@ -53,6 +53,8 @@ mbed_revision () { rm -rf mbed-os ln -s "$LOCAL_REPO" mbed-os fi + else + ln -s "$LOCAL_REPO" mbed-os fi fi echo " done."