Empty badgenumber is valid! #430

Job	Run time
build (gcc)	1m 40s
test (gcc)	3m 53s
build (gcc, CFLAGS=-DTK_NO_DEPRECATED=1)	1m 37s
test (gcc, --disable-xft)	3m 45s
build (gcc, --disable-xft)	1m 39s
test (gcc, --enable-symbols)	3m 24s
build (gcc, --disable-xss)	1m 39s
build (gcc, --enable-symbols)	1m 19s
build (clang)	1m 53s
build (clang, CFLAGS=-DTK_NO_DEPRECATED=1)	1m 50s
build (clang, --disable-xft)	1m 56s
build (clang, --disable-xss)	1m 49s
build (clang, --enable-symbols)	1m 47s
	28m 11s

Provide feedback