1 2 3 4
post_install() { echo 'Source code for Arm MBed v6 has been installed in:' echo '/usr/src/mbed-os6/' }