diff --git a/src/test/lp/lp.cpp b/src/test/lp/lp.cpp index bc67ce1c6..04afd8f96 100644 --- a/src/test/lp/lp.cpp +++ b/src/test/lp/lp.cpp @@ -19,7 +19,7 @@ --*/ #include -#if _LINUX_ +#ifndef _WINDOWS #include #endif #include @@ -1735,7 +1735,7 @@ void random_test() { } } -#if _LINUX_ +#ifndef _WINDOWS void fill_file_names(vector &file_names, std::set & minimums) { char *home_dir = getenv("HOME"); if (home_dir == nullptr) { @@ -4072,7 +4072,7 @@ void test_lp_local(int argn, char**argv) { } if (args_parser.option_is_used("--solve_some_mps")) { -#if _LINUX_ +#ifndef _WINDOWS solve_some_mps(args_parser); #endif ret = 0;