diff -r 000000000000 -r 2e3d3ce01487 openenvutils/commandshell/shell/inc/options.pro
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/openenvutils/commandshell/shell/inc/options.pro	Tue Feb 02 10:12:00 2010 +0200
@@ -0,0 +1,8 @@
+/* Generated automatically */
+static void printoptionnode _((HashNode hn,int set));
+static void setemulate _((HashNode hn,int fully));
+static void setoption _((HashNode hn,int value));
+static void restrictparam _((char*nam));
+static void printoptionnodestate _((HashNode hn,int hadplus));
+static void printoptionlist_printoption _((HashNode hn,UNUSED(int ignored)));
+static void printoptionlist_printequiv _((int optno));