From d157fac17f2a6cc759f11ce86de3ae107db99daf Mon Sep 17 00:00:00 2001 From: dzaima Date: Sun, 19 Mar 2023 21:31:57 +0200 Subject: [PATCH] =?UTF-8?q?use=20=E2=80=A2ParseFloat=20instead=20of=20?= =?UTF-8?q?=E2=80=A2BQN=20to=20parse=20numbers=20in=20build.bqn?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- build/src/build.bqn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/src/build.bqn b/build/src/build.bqn index 65e99c77..e245743a 100755 --- a/build/src/build.bqn +++ b/build/src/build.bqn @@ -145,7 +145,7 @@ po ← { # parsed options custom ← GetOpt "c" clangd ← GetOpt "clangd" DOpt ← {@⊸≡◶⟨⊢,𝕨⟩ GetOpt 𝕩} - J ⇐ {𝕊: v←GetOpt "j" ⋄ v≢@? •BQN v; •BQN⎊4 "4" TrySH ⟨"nproc"⟩} + J ⇐ {𝕊: v←GetOpt "j" ⋄ v≢@? •ParseFloat v; •ParseFloat⎊4 "4" TrySH ⟨"nproc"⟩} rebuildAll ⇐ GetOpt "rebuild" rebuildSingeli ⇐ GetOpt "rebuild-singeli" tui ⇐ ¬GetOpt "notui"