diff -r 000000000000 -r 2e3d3ce01487 openenvutils/commandshell/shell/inc/watch.epro
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/openenvutils/commandshell/shell/inc/watch.epro	Tue Feb 02 10:12:00 2010 +0200
@@ -0,0 +1,11 @@
+/* Generated automatically */
+#ifndef have_Src_watch_globals
+#define have_Src_watch_globals
+
+extern char const*const default_watchfmt;
+extern void dowatch _((void));
+extern int bin_log _((UNUSED(char*nam),UNUSED(char**argv),UNUSED(Options ops),UNUSED(int func)));
+extern void dowatch _((void));
+extern int bin_log _((char*nam,char**argv,Options ops,int func));
+
+#endif /* !have_Src_watch_globals */