Merge remote-tracking branch 'origin/master'

This commit is contained in:
Zero 2023-05-10 16:31:34 -06:00
commit 343a3029fb
No known key found for this signature in database
GPG key ID: 3861E636EA1E0E2B
3 changed files with 7 additions and 22 deletions

View file

@ -80,6 +80,7 @@ fn main() {
.arg("-DWHISPER_BUILD_TESTS=OFF")
.arg("-DWHISPER_BUILD_EXAMPLES=OFF")
.arg("-DWHISPER_COREML=1")
.arg("-DWHISPER_COREML_ALLOW_FALLBACK=1")
.status()
.expect("Failed to generate build script");