1 files changed, 0 insertions, 8 deletions
diff --git a/c_stubs/test-stdio.c b/c_stubs/test-stdio.c
deleted file mode 100644
index 8f4ea6d1bb..0000000000
--- a/c_stubs/test-stdio.c
+++ /dev/null
@@ -1,8 +0,0 @@
-#include <stdio.h>
-
-int
-main (void)
-{
-  printf ("Hello world\n");
-  return 0;
-}