diff options
Diffstat (limited to 'machdefs.h.patch')
-rw-r--r-- | machdefs.h.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/machdefs.h.patch b/machdefs.h.patch new file mode 100644 index 000000000000..2c5b6085b50e --- /dev/null +++ b/machdefs.h.patch @@ -0,0 +1,11 @@ +--- INCLUDE/machdefs.h.orig 2018-08-12 15:22:12.796641255 +0200 ++++ INCLUDE/machdefs.h 2018-08-12 15:22:56.589974125 +0200 +@@ -181,4 +181,8 @@ + + #endif + ++#ifndef CPX_PARAM_FASTMIP ++#define CPX_PARAM_FASTMIP 1017 ++#endif ++ + #endif /* __MACHDEFS_H */ |