projects
/
rocksndiamonds.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
rnd-20091205-1-src
[rocksndiamonds.git]
/
src
/
main.c
diff --git
a/src/main.c
b/src/main.c
index f1ea104e361ad855d33dc45b9977f49fb2bac73f..5acf09fe627d151743b3beb5362c25cde2ce455d 100644
(file)
--- a/
src/main.c
+++ b/
src/main.c
@@
-5509,6
+5509,16
@@
struct MusicPrefixInfo music_prefix_info[NUM_MUSIC_PREFIXES + 1] =
/* main() */
/* ========================================================================= */
/* 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"
static void print_usage()
{
printf("\n"
@@
-5557,7
+5567,7
@@
int main(int argc, char *argv[])
InitExitFunction(CloseAllAndExit);
InitPlatformDependentStuff();
InitExitFunction(CloseAllAndExit);
InitPlatformDependentStuff();
- GetOptions(argv, print_usage);
+ GetOptions(argv, print_usage
, get_cmd_switch
);
OpenAll();
EventLoop();
OpenAll();
EventLoop();