From 5d6e344357526fa77901c38f6bd48c8a78bfa5db Mon Sep 17 00:00:00 2001 From: Brad Nelson Date: Mon, 1 Jan 2024 22:16:38 -0800 Subject: [PATCH] Revise publish. --- configure.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure.py b/configure.py index 71de73f..6651df3 100755 --- a/configure.py +++ b/configure.py @@ -273,7 +273,7 @@ rule publish -DSTABLE_VERSION=$STABLE_VERSION \ -DOLD_STABLE_VERSION=$OLD_STABLE_VERSION \ -FREVISION=$dst/gen/REVISION \ - -FREVSHORT=$dst/gen/REVSHORT + -FREVSHORT=$dst/gen/REVSHORT 2>&1 | cat >/dev/null rule clean description = CLEAN