(dumpdir_size,get_gnu_dumpdir)

(xheader_string_begin,xheader_string_add)
(xheader_string_end): New functions.

diff --git a/src/common.h b/src/common.h
index 05c03a061b1c4b9c9eb1657a9d0dea197d7a54a7..f288068cd0000a8b1eb35aacec8a5cd02b9df348 100644 (file)
--- a/src/common.h
+++ b/src/common.h
@@ -432,6 +432,9 @@ void purge_directory (char const *);
 void list_dumpdir (char *buffer, size_t size);
 void update_parent_directory (const char *name);
 
+size_t dumpdir_size (const char *p);
+void get_gnu_dumpdir (void);
+
 /* Module list.c.  */
 
 enum read_header
@@ -619,6 +622,10 @@ char *xheader_ghdr_name (void);
 void xheader_write (char, char *, struct xheader *);
 void xheader_write_global (void);
 void xheader_set_option (char *string);
+void xheader_string_begin (void);
+void xheader_string_add (char const *s);
+void xheader_string_end (char const *keyword);
+bool xheader_keyword_deleted_p (const char *kw);
 
 /* Module system.c */