/* Reset the language (esp. the global string "language") to the
correct values. */
err_lang = savestring (language, strlen (language));
- make_cleanup (free, err_lang); /* Free it after error */
+ make_cleanup (xfree, err_lang); /* Free it after error */
set_language (current_language->la_language);
error ("Unknown language `%s'.", err_lang);
}
/* Show command. Display a warning if the case sensitivity setting does
not match the current language. */
static void
-show_case_command(ignore, from_tty)
- char *ignore;
- int from_tty;
+show_case_command (char *ignore, int from_tty)
{
if (case_sensitivity != current_language->la_case_sensitivity)
printf_unfiltered(
/* Set command. Change the setting for case sensitivity. */
static void
-set_case_command(ignore, from_tty)
- char *ignore;
- int from_tty;
+set_case_command (char *ignore, int from_tty)
{
if (STREQ (case_sensitive, "on"))
{
char *prefix = "";
if (language)
- free (language);
+ xfree (language);
if (language_mode == language_mode_auto)
prefix = "auto; currently ";
char *tmp = NULL, *prefix = "";
if (type)
- free (type);
+ xfree (type);
if (type_mode == type_mode_auto)
prefix = "auto; currently ";
}
if (range)
- free (range);
+ xfree (range);
range = concat (pref, tmp, NULL);
}
error ("Unrecognized case-sensitive setting.");
}
- free (case_sensitive);
+ xfree (case_sensitive);
case_sensitive = concat (prefix, tmp, NULL);
}