oficina / home Public

Download this file

1	#!/bin/sh
2	# One step of the home's CI. It runs a Makefile target rather than its
3	# own copy of the commands, so CI and the local gate stay ONE
4	# definition: `make test` runs these same targets in this same order,
5	# and `make test-race` is exactly what CI runs here. Debugging CI is
6	# running it.
7	set -eu
8	exec make test-race
9