Project

General

Profile

« Previous | Next » 

Revision 11810

bugfix: inputs/input.Makefile: %/header.csv: errexit the command so that errors won't scroll by, which in this case requires `set -o pipefail`

  • added
  • modified
  • copied
  • renamed
  • deleted