[bug-gawk] gawk/master exists after @include directive

[Hermann Peifer]

See the below example. The bug appears in committ 09149c0.. Fix --source to be 
like 3.1.x and improve the doc. The sample code works fine with the previous 
committ (84f33c8... Really fix the 64 bit alignment issue.)

Hermann


$ cat test.awk
@include "walkarray"
BEGIN { print "Hello World!"}

$ ./gawk.84f33c8 -f test.awk
Hello World!

# No output here :-(
$ ./gawk.09149c0 -f test.awk


# Pretty-print output for both cases

$ ./gawk.84f33c8 -o- -f test.awk
BEGIN {
        print "Hello World!"
}


function walk_array(arr, name, i)
{
        for (i in arr) {
                if (isarray(arr[i])) {
                        walk_array(arr[i], name "[" i "]")
                } else {
                        printf "%s[%s] = %s\n", name, i, arr[i]
                }
        }
}

$ ./gawk.09149c0 -o- -f test.awk

function walk_array(arr, name, i)
{
        for (i in arr) {
                if (isarray(arr[i])) {
                        walk_array(arr[i], name "[" i "]")
                } else {
                        printf "%s[%s] = %s\n", name, i, arr[i]
                }
        }
}