Woops, wrong solution to the problem. Backed out previous fix to ddb.h, and

nuked the db_printf() declaration from db_output.h.
Reviewed by:
Submitted by:
Obtained from:
This commit is contained in:
David Greenman 1994-09-27 12:15:56 +00:00
parent 1c7d67ba9c
commit e00fb8aaea
2 changed files with 3 additions and 3 deletions

View File

@ -23,7 +23,7 @@
* any improvements or extensions that they make and grant Carnegie the
* rights to redistribute these changes.
*
* $Id: db_output.h,v 1.4 1993/11/25 01:30:09 wollman Exp $
* $Id: db_output.h,v 1.5 1994/09/27 03:34:55 phk Exp $
*/
#ifndef _DDB_DB_OUTPUT_H_
@ -41,5 +41,4 @@
extern void db_force_whitespace();
extern int db_print_position();
extern void db_end_line();
extern void db_printf(char *,...);
#endif /* _DDB_DB_OUTPUT_H_ */

View File

@ -27,7 +27,7 @@
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
* SUCH DAMAGE.
*
* $Id: ddb.h,v 1.2 1994/05/25 08:51:18 rgrimes Exp $
* $Id: ddb.h,v 1.3 1994/09/27 12:11:09 davidg Exp $
*/
/*
@ -90,6 +90,7 @@ extern int db_get_variable (db_expr_t *valuep);
extern void db_putchar (int c);
extern void db_error (char *s);
extern int db_readline (char *lstart, int lsize);
extern void db_printf (const char *fmt, ...);
extern void db_check_interrupt(void);
extern void db_print_loc_and_inst (db_addr_t loc);