Bug#707652: texinfo: runs testsuite during build despite DEB_BUILD_OPTIONS='nobench nocheck'

[Thorsten Glaser <tg@mirbsd.de>]

Norbert Preining dixit:

>Thanks, didn't know about nocheck option, just committed this
>to the git repo:

Thanks!

bye,
//mirabilos
-- 
<hecker> cool ein Ada Lovelace Google-Doodle. aber zum 197. Geburtstag? Hätten
die nicht noch 3 Jahre warten können? <mirabilos> bis dahin gibts google nicht
mehr <hecker> ja, könnte man meinen. wahrscheinlich ist der angekündigte welt-
untergang aus dem maya-kalender die globale abschaltung von google ☺ und darum
müssen die die doodles vorher noch raushauen