diff options
Diffstat (limited to '0003-Do-not-require-git.patch')
-rw-r--r-- | 0003-Do-not-require-git.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/0003-Do-not-require-git.patch b/0003-Do-not-require-git.patch deleted file mode 100644 index a90334cc4af0..000000000000 --- a/0003-Do-not-require-git.patch +++ /dev/null @@ -1,12 +0,0 @@ -diff --unified --recursive --text bitwuzla-0.4.0.orig/src/meson.build bitwuzla-0.4.0/src/meson.build ---- bitwuzla-0.4.0.orig/src/meson.build 2024-03-30 15:53:33.155005989 +0100 -+++ bitwuzla-0.4.0/src/meson.build 2024-03-30 16:18:42.411278668 +0100 -@@ -49,7 +49,7 @@ - # --- - - # Get git information --git = find_program('git') -+git = find_program('git', required : false) - git_id = '' - if git.found() - repo = meson.project_source_root() |