From 59db0cd1876a032d6ff037631d271a2f1687cbf2 Mon Sep 17 00:00:00 2001 From: William Riancho Date: Fri, 3 Feb 2023 17:25:53 +0800 Subject: [PATCH] update no-build-docs developer tip --- ol/util/build-stdlib.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ol/util/build-stdlib.sh b/ol/util/build-stdlib.sh index ad1f9bd494..0b75deb014 100755 --- a/ol/util/build-stdlib.sh +++ b/ol/util/build-stdlib.sh @@ -9,6 +9,6 @@ printf "This builds: cd diem-move/diem-framework cargo r --release -- $1 -# cargo r --release -- $1 --no-doc # for dev. quick iteration +# cargo r --release -- $1 --no-build-docs # for dev. quick iteration -printf "Done\n" \ No newline at end of file +printf "Done\n"