From e7e416775bedd7f47da86d548adca181db4c2d6b Mon Sep 17 00:00:00 2001 From: Zhiru Zhu Date: Thu, 14 Nov 2019 20:00:32 +0800 Subject: [PATCH] update build.sh --- core/build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/core/build.sh b/core/build.sh index d8d73cabdb..85dea0ab88 100755 --- a/core/build.sh +++ b/core/build.sh @@ -84,7 +84,7 @@ parameter: -j: use jfrog cache build directory(default: OFF) -g: build GPU version(default: OFF) -m: build with MKL(default: OFF) --e: build without prometheus(default: OFF) +-e: build without prometheus -h: help usage: