From 828f5415f69af4d2bd8c36f754473a5acb905249 Mon Sep 17 00:00:00 2001 From: dzaima Date: Sat, 22 Apr 2023 17:18:38 +0300 Subject: [PATCH] don't bother with erroring on shared build with version number --- build/src/build.bqn | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/build/src/build.bqn b/build/src/build.bqn index f992780e..5b929f32 100755 --- a/build/src/build.bqn +++ b/build/src/build.bqn @@ -179,8 +179,7 @@ po ← { # parsed options wasi ← GetOpt "wasi" usz ⇐ •ParseFloat GetOpt "usz" {𝕊: "Error: usz can only be 32 or 64"}_assert_⊢ ⊑usz∊32‿64 - versionName ← {compat ∧ shared? @; "0"⊸≡◶⊢‿@ GetOpt "v"} - {𝕊: "Error: Specifying version for shared build is useless"}_assert_¬ shared ∧ versionName≢"" + versionName ← {shared? @; "0"⊸≡◶⊢‿@ GetOpt "v"} wasm ⇐ wasi∨emcc cc ← {emcc? "emcc"; "clang"} DOpt "CC"