Devashish c4d05049c4 Toolchain: Don't create repository for patches if not necessary ...

The toolchain builds just fine without the git repository (tested on
windows and linux). We can skip setting up the repo and apply the
patches directly when we aren't working on the toolchain itself. A
flag `--dev` has been added for cases when git repo is needed. Without
the flag, regular patch is applied. This significantly improves build
times for first time builds.

2020-04-27 17:59:33 +02:00

7.7 KiB

Executable File

Raw Blame History

View Raw