From d63e5ab7140dfc36cc178db0243b9f13cd0fcbc5 Mon Sep 17 00:00:00 2001 From: dzaima Date: Sat, 20 Apr 2024 03:50:31 +0300 Subject: [PATCH] =?UTF-8?q?build/build:=20dry=20=E2=86=92=20dry-run?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- build/src/build.bqn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/build/src/build.bqn b/build/src/build.bqn index ebaa6667..f3f27d4e 100755 --- a/build/src/build.bqn +++ b/build/src/build.bqn @@ -22,7 +22,7 @@ opts ← ⟨ ⟨1, "verbose", 0, "Log more things"⟩ ⟨2, "rebuild", ⟨⟩, "Forcibly rebuild cbqn/replxx/singeli/linker"⟩ ⟨2, "clean", ⟨⟩, "Clean cbqn/replxx/singeli/linker and exit"⟩ - ⟨1, "dry", 0, "Dry run: don't run/modify/delete anything other than submodules"⟩ + ⟨1, "dry-run", 0, "Don't run/modify/delete anything (except submodules)"⟩ ⟨1,"stored-warn",0,"Print stored warnings from cached build steps"⟩ ⟨1, "notui", @, "Disable live-updating status display"⟩ ⟨1, "nogit", 0, "Error if something attempts to use git"⟩ @@ -194,7 +194,7 @@ po ← { # parsed options loud ⇐ ¬GetOpt "quiet" nogit ↩ GetOpt "nogit" - dry ⇐ GetOpt "dry" + dry ⇐ GetOpt "dry-run" CacheList ← { vs ← ∾','Split⟜Lowercase¨ GetOpt 𝕩 {