Only need printf(), so use vsprintf.h instead of console.h
authorMichael Brown <mcb30@etherboot.org>
Wed, 20 Dec 2006 05:33:12 +0000 (05:33 +0000)
committerMichael Brown <mcb30@etherboot.org>
Wed, 20 Dec 2006 05:33:12 +0000 (05:33 +0000)
src/hci/shell.c
src/hci/strerror.c

index 3b1493f..2a9bfca 100644 (file)
@@ -18,7 +18,7 @@
 
 #include <stdint.h>
 #include <stdlib.h>
-#include <console.h>
+#include <vsprintf.h>
 #include <readline/readline.h>
 #include <gpxe/command.h>
 #include <gpxe/shell.h>
index 8ed5d27..70331e4 100644 (file)
@@ -1,6 +1,6 @@
 #include <errno.h>
 #include <string.h>
-#include <console.h>
+#include <vsprintf.h>
 #include <gpxe/errortab.h>
 
 /** @file