/* main() */
/* ========================================================================= */
-static unsigned long get_cmd_switch(char *switch_string)
-{
- unsigned long switch_value = 0;
-
- if (strEqual(switch_string, "load_xsb_to_ces"))
- switch_value = CMD_SWITCH_LOAD_XSB_TO_CES;
-
- return switch_value;
-}
-
static void print_usage()
{
printf("\n"
InitExitFunction(CloseAllAndExit);
InitPlatformDependentStuff();
- GetOptions(argv, print_usage, get_cmd_switch);
+ GetOptions(argv, print_usage);
OpenAll();
EventLoop();