#!/bin/sh

proc failed {
	printf "Kernel config test suite FAILED\n"
	/sbin/poweroff -f
}

/check-kernel-config.sh || failed
bash /check-config.sh || failed

printf "Kernel config test suite PASSED\n"

cat /etc/linuxkit

/sbin/poweroff -f
(CommandList
  children: [
    (FuncDef
      name: failed
      body: 
        (BraceGroup
          children: [
            (C {(printf)} 
              {
                (DQ ("Kernel config test suite FAILED") 
                  (EscapedLiteralPart token:<Lit_EscapedChar "\\n">)
                )
              }
            )
            (C {(/sbin/poweroff)} {(-f)})
          ]
          spids: [8]
        )
      spids: [4 7]
    )
    (AndOr children:[(C {(/check-kernel-config.sh)})(C {(failed)})] op_id:Op_DPipe)
    (AndOr children:[(C {(bash)} {(/check-config.sh)})(C {(failed)})] op_id:Op_DPipe)
    (C {(printf)} 
      {(DQ ("Kernel config test suite PASSED") (EscapedLiteralPart token:<Lit_EscapedChar "\\n">))}
    )
    (C {(cat)} {(/etc/linuxkit)})
    (C {(/sbin/poweroff)} {(-f)})
  ]
)