diff -r 000000000000 -r 2e3d3ce01487 openenvutils/commandshell/shell/inc/input.epro
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/openenvutils/commandshell/shell/inc/input.epro	Tue Feb 02 10:12:00 2010 +0200
@@ -0,0 +1,19 @@
+/* Generated automatically */
+#ifndef have_Src_input_globals
+#define have_Src_input_globals
+
+extern int SHIN;
+extern FILE*bshin;
+extern int strin;
+extern mod_import_variable int inbufct;
+extern int inbufflags;
+extern mod_import_function char*shingetline _((void));
+extern int ingetc _((void));
+extern void inungetc _((int c));
+extern int stuff _((char*fn));
+extern void inerrflush _((void));
+extern mod_import_function void inpush _((char*str,int flags,Alias inalias));
+extern mod_import_function void inpop _((void));
+extern void inpopalias _((void));
+
+#endif /* !have_Src_input_globals */