Fix: Create a symlink to mbed-os regardless how the checked out mbed repository is named

Author: aentinger

mbed-os-to-arduino

@@ -51,7 +51,7 @@ mbed_revision () {
 		if [ -d mbed-os ]; then
 			if [ ! -L mbed-os ]; then
 				rm -rf mbed-os
-				ln -s "$LOCAL_REPO" .
+				ln -s "$LOCAL_REPO" mbed-os
 			fi
 		fi
 	fi
@@ -338,4 +338,4 @@ exit 0
 #
 # echo -e "arduino/cores/arduino/main.cpp\n arduino/cores/arduino/mbed/\narduino/libraries/" > .mbedignore
 # #add ARDUINO_AS_MBED_LIBRARY=1 to macros section in mbed_app.json
-# echo "https://github.com/arduino/ArduinoCore-mbed#bf6e64771ebe20285b0364756dff856ebbc679dc" > arduino.lib
+# echo "https://github.com/arduino/ArduinoCore-mbed#bf6e64771ebe20285b0364756dff856ebbc679dc" > arduino.lib