hdevtools-0.1.0.5: tests/test_simple_check.sh
#!/bin/sh set -e SOCK=`mktemp -u` ERRORS=`$HDEVTOOLS check --socket=$SOCK Simple.hs` [ -z "$ERRORS" ] $HDEVTOOLS --socket=$SOCK --stop-server
#!/bin/sh set -e SOCK=`mktemp -u` ERRORS=`$HDEVTOOLS check --socket=$SOCK Simple.hs` [ -z "$ERRORS" ] $HDEVTOOLS --socket=$SOCK --stop-server