From 1e10af850ba6e0c3a9af1382ed0f33981d2754ec Mon Sep 17 00:00:00 2001 From: Matt Johnston Date: Mon, 15 Jun 2020 23:38:08 +0800 Subject: [PATCH] can't call "make lint" without configure --- release.sh | 1 - 1 file changed, 1 deletion(-) diff --git a/release.sh b/release.sh index ea3aa1d..525cef3 100755 --- a/release.sh +++ b/release.sh @@ -30,7 +30,6 @@ fi hg archive "$RELDIR" || exit 2 (cd "$RELDIR" && autoconf && autoheader) || exit 2 -(cd "$RELDIR" && make lint) || exit 2 rm -r "$RELDIR/autom4te.cache" || exit 2