verify.sh

   1 #!/usr/bin/env bash
   2 set -eu -o pipefail
   3
   4 # This file is called by jenkins CI job
   5
   6 sudo make unit