X-Git-Url: https://git.artsoft.org/?p=rocksndiamonds.git;a=blobdiff_plain;f=src%2Fmain.c;h=5acf09fe627d151743b3beb5362c25cde2ce455d;hp=f1ea104e361ad855d33dc45b9977f49fb2bac73f;hb=b6847742a0713d8ed21bb6104476db54f8c1a4b9;hpb=e3a53d28634c52a0b1de6d0609de911e5d01c344 diff --git a/src/main.c b/src/main.c index f1ea104e..5acf09fe 100644 --- a/src/main.c +++ b/src/main.c @@ -5509,6 +5509,16 @@ struct MusicPrefixInfo music_prefix_info[NUM_MUSIC_PREFIXES + 1] = /* 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" @@ -5557,7 +5567,7 @@ int main(int argc, char *argv[]) InitExitFunction(CloseAllAndExit); InitPlatformDependentStuff(); - GetOptions(argv, print_usage); + GetOptions(argv, print_usage, get_cmd_switch); OpenAll(); EventLoop();