Oliver Smith 7aded95988 Revert "linux-*: use upstream gcc6 [skip ci]" ... This reverts commit ee659a5bb4 and increases the pkgrels of all affected linux pmaports. I have compiled *every single kernel* that was modified with this commit, and it worked. That took 12 hours. So I'm pretty confident that this is a good commit. Let's roll it out and go back to stability \o/ I'll kick off the binary repo building directly after pushing this, but it will take some time until all binary packages are available again. [skip ci]: it wouldn't finish in time.		2018-12-01 12:10:10 +01:00
..
01_fix_gcc6_errors.patch	Add initial device support for Xiaomi Redmi Note 4 (xiaomi-mido) (#1415)	2018-04-25 11:40:16 +02:00
02_fix_msm_dba.patch	Add initial device support for Xiaomi Redmi Note 4 (xiaomi-mido) (#1415)	2018-04-25 11:40:16 +02:00
03_fix_rndis_ipa_trace_header_not_found.patch	Add initial device support for Xiaomi Redmi Note 4 (xiaomi-mido) (#1415)	2018-04-25 11:40:16 +02:00
05_fix_mdp3_ctrl_off.patch	Add initial device support for Xiaomi Redmi Note 4 (xiaomi-mido) (#1415)	2018-04-25 11:40:16 +02:00
05_fix_u_f_header.patch	Add initial device support for Xiaomi Redmi Note 4 (xiaomi-mido) (#1415)	2018-04-25 11:40:16 +02:00
06_fix_usb_gadget_function.patch	Add initial device support for Xiaomi Redmi Note 4 (xiaomi-mido) (#1415)	2018-04-25 11:40:16 +02:00
APKBUILD	Revert "linux-*: use upstream gcc6 [skip ci]"	2018-12-01 12:10:10 +01:00
compiler-gcc6.h	Add initial device support for Xiaomi Redmi Note 4 (xiaomi-mido) (#1415)	2018-04-25 11:40:16 +02:00
config-xiaomi-mido.aarch64	Add initial device support for Xiaomi Redmi Note 4 (xiaomi-mido) (#1415)	2018-04-25 11:40:16 +02:00
fix_recordmcount.patch	Add initial device support for Xiaomi Redmi Note 4 (xiaomi-mido) (#1415)	2018-04-25 11:40:16 +02:00