make.sh

#!/bin/bash
set -eux
./build.sh jalapeno
mv examples/standalone/hello_world.bin /out/expl.bin