diff options
| author | Michael Brown <mcb30@etherboot.org> | 2006-12-20 05:33:12 +0000 |
|---|---|---|
| committer | Michael Brown <mcb30@etherboot.org> | 2006-12-20 05:33:12 +0000 |
| commit | 75430e813e35c68a3c1b2484f6aa668da220455b (patch) | |
| tree | 49bd6a385b16f9844fa85c621856067fc1c3b961 /src/hci/shell.c | |
| parent | 2b97d2ebc5b4dbbf2214cc50236b30ed3c0278cf (diff) | |
| download | ipxe-75430e813e35c68a3c1b2484f6aa668da220455b.tar.gz | |
Only need printf(), so use vsprintf.h instead of console.h
Diffstat (limited to 'src/hci/shell.c')
| -rw-r--r-- | src/hci/shell.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/hci/shell.c b/src/hci/shell.c index 3b1493fe9..2a9bfca43 100644 --- a/src/hci/shell.c +++ b/src/hci/shell.c @@ -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> |