diff options
| author | Christopher Haster <chaster@utexas.edu> | 2017-11-22 23:49:48 +0300 |
|---|---|---|
| committer | Christopher Haster <chaster@utexas.edu> | 2017-11-22 23:49:48 +0300 |
| commit | 5ee20e8d774adf0bb538269870b3552fdfc0e046 (patch) | |
| tree | 84f85e694564df47b942b98b6ce40cf1cbe1c253 /Makefile | |
| parent | bf78b09d370d4ae2eb1b59671053b065e9f9c550 (diff) | |
Fixed pipefail issue that was preventing CI from reporting errors
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -11,6 +11,8 @@ ASM := $(SRC:.c=.s) TEST := $(patsubst tests/%.sh,%,$(wildcard tests/test_*)) +SHELL = /bin/bash -o pipefail + ifdef DEBUG CFLAGS += -O0 -g3 else @@ -35,7 +37,7 @@ test: test_format test_dirs test_files test_seek test_parallel \ test_alloc test_paths test_orphan test_move test_corrupt test_%: tests/test_%.sh ifdef QUIET - ./$< | sed '/^[^-=]/d' + ./$< | sed -n '/^[-=]/p' else ./$< endif |