1 files changed, 0 insertions, 23 deletions
diff --git a/src/bin2c/bin2c.c b/src/bin2c/bin2c.c
deleted file mode 100644
index 5ed8a57082fd..000000000000
--- a/src/bin2c/bin2c.c
+++ /dev/null
@@ -1,23 +0,0 @@
-#include <stdlib.h>
-#include <stdio.h>
-#include <stdarg.h>
-
-void print(const char *format, ...)
-{
-    va_list ap;
-    va_start(ap, format);
-    if (vprintf(format, ap) < 0) abort();
-    va_end(ap);
-}
-
-int main(int argc, char * * argv)
-{
-    int c;
-    if (argc != 2) abort();
-    print("static unsigned char %s[] = { ", argv[1]);
-    while ((c = getchar()) != EOF) {
-        print("0x%02x, ", (unsigned char) c);
-    }
-    print("0 };\n");
-    return 0;
-}