diff --git a/bash-4.1-bind_int_variable.patch b/bash-4.1-bind_int_variable.patch deleted file mode 100644 index 9071e5d..0000000 --- a/bash-4.1-bind_int_variable.patch +++ /dev/null @@ -1,12 +0,0 @@ -diff -up bash-4.1/variables.c.Ai bash-4.1/variables.c ---- bash-4.1/variables.c.Ai 2010-07-28 08:42:54.000000000 +0200 -+++ bash-4.1/variables.c 2010-07-28 08:43:17.000000000 +0200 -@@ -2371,7 +2371,7 @@ bind_int_variable (lhs, rhs) - #endif - v = bind_variable (lhs, rhs, 0); - -- if (isint) -+ if (isint && v) - VSETATTR (v, att_integer); - - return (v);