23 |
|
|
24 |
#include <getopt.h> |
#include <getopt.h> |
25 |
#include <signal.h> |
#include <signal.h> |
26 |
|
#include <sys/stat.h> |
27 |
|
|
28 |
#if defined(WIN32) |
#if defined(WIN32) |
29 |
// require at least Windows 2000 for the GlobalMemoryStatusEx() call |
// require at least Windows 2000 for the GlobalMemoryStatusEx() call |
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; |