Added SIGKILL handler
[people/xl0/gpxe.git] / src / hci / shell.c
index 95662b5..b14af54 100644 (file)
@@ -18,7 +18,7 @@
 
 #include <stdint.h>
 #include <stdlib.h>
-#include <vsprintf.h>
+#include <stdio.h>
 #include <readline/readline.h>
 #include <gpxe/command.h>
 #include <gpxe/shell.h>