diff options
Diffstat (limited to 'lang/mono/Makefile')
| -rw-r--r-- | lang/mono/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/mono/Makefile b/lang/mono/Makefile index cff7242de90e..44d699154658 100644 --- a/lang/mono/Makefile +++ b/lang/mono/Makefile @@ -22,7 +22,7 @@ USE_BISON= yes USE_GNOME= gnomehack glib20 USE_GMAKE= yes LIBTOOLFILES= configure libgc/configure -USE_LIBTOOL_VER=15 +USE_AUTOTOOLS= libtool:15 INSTALLS_SHLIB= yes CONFIGURE_ENV= PTHREAD_CFLAGS="${PTHREAD_CFLAGS}" \ PTHREAD_LIBS="${PTHREAD_LIBS}" |