diff --git a/Makefile.in b/Makefile.in index 1353c2f8..0e222b2a 100644 --- a/Makefile.in +++ b/Makefile.in @@ -361,7 +361,7 @@ deps : $(deps) #------------------------------------------------------------------------- check : $(test_outs) - echo; grep -h -e'Unit Tests' -e'FAILED' -e'Segementation' $^ < /dev/null; echo + echo; grep -h -e'Unit Tests' -e'FAILED' -e'Segmentation' $^ < /dev/null; echo .PHONY : check