diff options
Diffstat (limited to 'stlport/systemstl/numeric')
| -rw-r--r-- | stlport/systemstl/numeric | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/stlport/systemstl/numeric b/stlport/systemstl/numeric index 8095edc90718..d18328bc5363 100644 --- a/stlport/systemstl/numeric +++ b/stlport/systemstl/numeric @@ -33,7 +33,12 @@ #ifdef GCC #include <functional> -#include <ext/../numeric> +#ifdef __MINGW32__ +# define _SYSTEM_STL_MAKE_HEADER(path,header) <path/header> +# include _SYSTEM_STL_MAKE_HEADER(GXX_INCLUDE_PATH,numeric) +#else +# include <ext/../numeric> +#endif #include <ext/numeric> namespace std |