diff options
author | dg <dg@FreeBSD.org> | 1994-09-27 12:15:56 +0000 |
---|---|---|
committer | dg <dg@FreeBSD.org> | 1994-09-27 12:15:56 +0000 |
commit | 0b0fbe4d94707b6c6de6652b718d12e327aedf7a (patch) | |
tree | 02e38a7694197bb6bb6c4c505335d5b186b870fa /sys/ddb | |
parent | ae77edd20e19177f197d309b7730671fd39d665b (diff) | |
download | FreeBSD-src-0b0fbe4d94707b6c6de6652b718d12e327aedf7a.zip FreeBSD-src-0b0fbe4d94707b6c6de6652b718d12e327aedf7a.tar.gz |
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:
Diffstat (limited to 'sys/ddb')
-rw-r--r-- | sys/ddb/db_output.h | 3 | ||||
-rw-r--r-- | sys/ddb/ddb.h | 3 |
2 files changed, 3 insertions, 3 deletions
diff --git a/sys/ddb/db_output.h b/sys/ddb/db_output.h index 2ce3a5e..3bfd710 100644 --- a/sys/ddb/db_output.h +++ b/sys/ddb/db_output.h @@ -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_ */ diff --git a/sys/ddb/ddb.h b/sys/ddb/ddb.h index dd1cbd4..a72b5ca 100644 --- a/sys/ddb/ddb.h +++ b/sys/ddb/ddb.h @@ -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); |