Make awk use bash with the system() command

If you want bash, you'll either have to patch gawk or call bash directly (the quoting gets a bit hairy):

gawk 'BEGIN {
    script="if [[ \"porc\" == \"porc\" ]]; then echo yes; else echo no; fi"
    system("bash -c '\''" script "'\''")
}'