Revert "Remove temporary pr-4995.patch (#99)". Closes #100 (#105)

This reverts commit 2cd189f.
TileDB-Inc · Jun 7, 2024 · 8232fd1 · 8232fd1
1 parent 5372596
commit 8232fd1
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/scripts/tiledb/update-recipe.sh b/scripts/tiledb/update-recipe.sh
@@ -23,9 +23,5 @@ sed -i \
   s/"  number: [0-9]\+"/"  number: 0"/ \
   tiledb-feedstock/recipe/meta.yaml
 
-# (temporary) Remove pr-4995.patch
-git -C tiledb-feedstock/ rm recipe/pr-4995.patch
-sed -i /4995/d tiledb-feedstock/recipe/meta.yaml
-
 # Print differences
 git -C tiledb-feedstock/ --no-pager diff recipe/meta.yaml