diff options
| author | Michael Brown | 2006-09-27 12:58:14 +0200 |
|---|---|---|
| committer | Michael Brown | 2006-09-27 12:58:14 +0200 |
| commit | 88e38fa1483891f273f063f92ef71a5c33fe5406 (patch) | |
| tree | c62007eae5dddf82b2b90e154ae0e4f400d6b09c /src/core/device.c | |
| parent | added stdio.h to includes for DBG compilation (diff) | |
| download | ipxe-88e38fa1483891f273f063f92ef71a5c33fe5406.tar.gz ipxe-88e38fa1483891f273f063f92ef71a5c33fe5406.tar.xz ipxe-88e38fa1483891f273f063f92ef71a5c33fe5406.zip | |
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 dfbb997e..e54ab297 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 |