# HG changeset patch # User Matt Johnston # Date 1590298459 -28800 # Node ID 5e763ad6e2e09787878a24fb24ff714e46bc0704 # Parent 90fffce0ee99695de257ebedb9d1de9f127e4f07 run linter diff -r 90fffce0ee99 -r 5e763ad6e2e0 .travis.yml --- a/.travis.yml Sun May 24 13:15:24 2020 +0800 +++ b/.travis.yml Sun May 24 13:34:19 2020 +0800 @@ -46,6 +46,7 @@ - autoheader - ./configure $CONFIGURE_FLAGS CFLAGS="-O2 -Wall -Wno-pointer-sign $WEXTRAFLAGS $EXTRACFLAGS" --prefix="$HOME/inst" || (cat config.log; exit 1) - if [ "$NOWRITEV" = "1" ]; then sed -i -e s/HAVE_WRITEV/DONT_HAVE_WRITEV/ config.h ; fi + - make lint - make -j3 - test -z $DO_FUZZ || make fuzzstandalone # avoid concurrent install, osx/freebsd is racey (https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=208093)