#ifdef HAVE_CONFIG_H # include "config.h" #endif #include "shell.h" int main (int argc, char* argv[]) { return ras_shell_main (argc, argv); }