samples/x86_64-unknown-linux-gnu/reported.by
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed Aug 19 19:44:43 2009 +0200 (2009-08-19)
branchbash_array
changeset 1482 d0d2d372fd46
parent 720 536361b49be2
permissions -rw-r--r--
Make glibc's extra_config an array containing ./configure options

Change extra_config from a string to a array of options.
     1 reporter_name="Thomas JOURDAN"
     2 reporter_url=""
     3 reporter_comment=""