diff options
Diffstat (limited to 'community/bat/minimize-size.patch')
| -rw-r--r-- | community/bat/minimize-size.patch | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/community/bat/minimize-size.patch b/community/bat/minimize-size.patch deleted file mode 100644 index 7b198dfdb4e..00000000000 --- a/community/bat/minimize-size.patch +++ /dev/null @@ -1,10 +0,0 @@ -Reduces binary size from 4.2 MiB to 3.3 MiB. - ---- a/Cargo.toml -+++ b/Cargo.toml -@@ -83,3 +83,5 @@ - [profile.release] - lto = true - codegen-units = 1 -+opt-level = "z" -+panic = "abort" |