diff options
| author | Michael Brown <mcb30@etherboot.org> | 2006-09-27 10:58:14 +0000 |
|---|---|---|
| committer | Michael Brown <mcb30@etherboot.org> | 2006-09-27 10:58:14 +0000 |
| commit | 88e38fa1483891f273f063f92ef71a5c33fe5406 (patch) | |
| tree | c62007eae5dddf82b2b90e154ae0e4f400d6b09c /src/core/device.c | |
| parent | 6ac78f6aff85b2a41d1c98011c41f622d569076a (diff) | |
| download | ipxe-88e38fa1483891f273f063f92ef71a5c33fe5406.tar.gz | |
We don't actually have a stdio.h header file. Our printf() functions are
defined in vsprintf.h. (This may change, since vsprintf.h is a
non-standard name, but for now it's the one to use.)
There should be no need to include vsprintf.h just for DBG() statements,
since include/compiler.h forces it in for a debug build anyway.
Diffstat (limited to 'src/core/device.c')
| -rw-r--r-- | src/core/device.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/core/device.c b/src/core/device.c index dfbb997ec..e54ab2970 100644 --- a/src/core/device.c +++ b/src/core/device.c @@ -19,7 +19,6 @@ #include <gpxe/list.h> #include <gpxe/tables.h> #include <gpxe/device.h> -#include "stdio.h" /** * @file |