plunder

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README | LICENSE

ci (642B)

      1 #!/usr/bin/env bash
      2 
      3 set -e
      4 
      5 usage () {
      6     echo "usage: $0 [--no-cache]"
      7     exit 1
      8 }
      9 
     10 if [ "$#" -eq 1 ] && [ "$1" = --no-cache ]
     11 then
     12     rm -f sire.cache
     13 elif [ "$#" -ne 0 ]
     14 then
     15     usage
     16 fi
     17 
     18 cleanup () { rm -f errout; }
     19 trap cleanup EXIT
     20 
     21 runtest () {
     22     "$@" 2>errout || {
     23         echo ERROR OUTPUT
     24         echo ============
     25         echo
     26         cat errout
     27         exit 1
     28     }
     29 }
     30 
     31 set -x
     32 
     33 stack install
     34 
     35 ulimit -n 55555 # or else fulltag sometimes fails
     36 
     37 sh/sire-load-all -M </dev/null
     38 runtest sh/full-tag-site-demo --ci
     39 sh/testdemo-cog-asktell-basic
     40 sh/testdemo-cog-asktell-askcrash
     41 sh/testdemo-cog-wait
     42 sh/rex-test
     43 sh/bootstrap-sire