Hi, it’s me again.
I’m trying now to follow the instructions of this tutorial: Building mbed_blinky for DISCO_F746NG at local environment | Mbed
At step 3 it tells me that:
## 3. Apply a patch to the targets.py [/media/uploads/mzta/targets.py.patch](https://os.mbed.com/media/uploads/mzta/targets.py.patch) ARMCC or IAR compilers are all that is able to build mbed-src for DISCO_F746NG target currently. This patch enables to build for DISCO_F746NG target by GCC.
But I don’t know how to apply this patch after downloading the file. Can someone help me?