Se você quiser bash, você terá que corrigir o gawk ou chamar bash diretamente (a citação fica um pouco complicada):
gawk 'BEGIN {
script="if [[ \"porc\" == \"porc\" ]]; then echo yes; else echo no; fi"
system("bash -c '\''" script "'\''")
}'