pmos/main/devicepkg-dev
Oliver Smith 4328e5fe2f
devicepkg-dev: opt-out compiler-gcc.h replacing (!186)
Instead of never overwriting compiler-gcc.h if it exists, overwrite it
by default except if OVERWRITE_GCCH=0 is set in the environment.

Most kernels *do* need this file replaced and won't build without this
patch.
2019-01-29 09:44:44 +01:00
..