rnd-20091211-1-src

[rocksndiamonds.git] / src / main.c

diff --git a/src/main.c b/src/main.c
index 5acf09fe627d151743b3beb5362c25cde2ce455d..f1ea104e361ad855d33dc45b9977f49fb2bac73f 100644 (file)
--- a/src/main.c
+++ b/src/main.c
@@ -5509,16 +5509,6 @@ 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"
@@ -5567,7 +5557,7 @@ int main(int argc, char *argv[])
   InitExitFunction(CloseAllAndExit);
   InitPlatformDependentStuff();
 
-  GetOptions(argv, print_usage, get_cmd_switch);
+  GetOptions(argv, print_usage);
   OpenAll();
 
   EventLoop();