Paste details

fd 3

markand

bash

month

        printf "$ec_options" | awk -f /dev/fd/3 3<<-EOF
                BEGIN {
                        RS="|"
                        FS=":"
                }

                {
                        printf "  --enable-%-20s %s\n", \$1, \$2
                        printf "  --disable-%-19s %s\n", \$1, \$2
                }
        EOF