diff -r 873a5b60a7ea -r 8998c8b24b60 stage4/generate_cc/test_iec_std_lib.c
--- a/stage4/generate_cc/test_iec_std_lib.c	Thu Jul 12 11:24:32 2007 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,8 +0,0 @@
-#include "stdio.h"
-
-#include "iec_std_lib.h"
-
-int main(int argc,char **argv)
-{
-        return 0;
-}