diff options
| -rw-r--r-- | package/devel/valgrind/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/package/devel/valgrind/Makefile b/package/devel/valgrind/Makefile index a55fb40d80..45d0323dbc 100644 --- a/package/devel/valgrind/Makefile +++ b/package/devel/valgrind/Makefile @@ -93,6 +93,7 @@ endif CONFIGURE_ARGS += \ --enable-tls \ --without-x \ + --without-mpicc \ --without-uiout \ --disable-valgrindmi \ --disable-tui \ |