Parent Directory | Revision Log | Patch
revision 2046 by persson, Mon Jun 1 18:50:06 2009 UTC | revision 2047 by schoenebeck, Mon Jan 11 21:14:14 2010 UTC | |
---|---|---|
# | Line 345 void parse_options(int argc, char **argv | Line 345 void parse_options(int argc, char **argv |
345 | break; | break; |
346 | case 2: // --profile | case 2: // --profile |
347 | profile = true; | profile = true; |
348 | //FIXME: profiling code is currently broken! | |
349 | std::cerr << "Option '--profile' is currently not supported, since the profiling code is currently broken!" << std::endl; | |
350 | exit(EXIT_FAILURE); | |
351 | break; | break; |
352 | case 3: // --no-tune | case 3: // --no-tune |
353 | tune = false; | tune = false; |
|
ViewVC Help | |
Powered by ViewVC |