Imported from ../bash-2.01.tar.gz.
[platform/upstream/bash.git] / dispose_cmd.c
index 86443f1..d0b6bbd 100644 (file)
@@ -175,18 +175,24 @@ dispose_words (list)
     }
 }
 
-/* How to dispose of an array of pointers to char. */
+#ifdef INCLUDE_UNUSED
+/* How to dispose of an array of pointers to char.  This is identical to
+   free_array in stringlib.c. */
 void
 dispose_word_array (array)
      char **array;
 {
   register int count;
 
+  if (array == 0)
+    return;
+
   for (count = 0; array[count]; count++)
     free (array[count]);
 
   free (array);
 }
+#endif
 
 /* How to dispose of an list of redirections.  A REDIRECT. */
 void