Linux

merge 8.7 #4720

Job	Run time
gcc	3m 30s
gcc	3m 30s
gcc (CFLAGS=-DTCL_NO_DEPRECATED=1)	3m 22s
gcc (CFLAGS=-DTCL_NO_DEPRECATED=1)	3m 22s
gcc (--disable-shared)	3m 24s
gcc (--disable-shared)	3m 24s
gcc (--disable-zipfs)	3m 22s
gcc (--disable-zipfs)	3m 22s
gcc (--enable-symbols)	3m 38s
gcc (--enable-symbols)	3m 38s
gcc (--enable-symbols=mem)	4m 7s
gcc (--enable-symbols=mem)	5m 12s
gcc (--enable-symbols=all)	4m 8s
gcc (--enable-symbols=all)	6m 13s
gcc (CFLAGS=-ftrapv)	3m 27s
gcc (CFLAGS=-ftrapv)	3m 27s
gcc (CFLAGS=-m32 CPPFLAGS=-m32 LDFLAGS=-m32 --disable-64bit)	3m 51s
gcc (CFLAGS=-m32 CPPFLAGS=-m32 LDFLAGS=-m32 --disable-64bit)	3m 40s
	1h 8m 37s

Provide feedback