diff options
Diffstat (limited to 'lang/gnat/files/patch-ac')
| -rw-r--r-- | lang/gnat/files/patch-ac | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/lang/gnat/files/patch-ac b/lang/gnat/files/patch-ac deleted file mode 100644 index cded7b727d57..000000000000 --- a/lang/gnat/files/patch-ac +++ /dev/null @@ -1,11 +0,0 @@ ---- gcc/ada/gcc-interface/Makefile.in.orig 2010-05-30 06:46:25.000000000 -0400 -+++ gcc/ada/gcc-interface/Makefile.in 2010-09-28 11:03:31.000000000 -0400 -@@ -1166,7 +1166,7 @@ - GNATLIB_SHARED = gnatlib-shared-dual - - EH_MECHANISM=-gcc -- THREADSLIB= -lpthread -+ THREADSLIB= $(PTHREAD_LIBS) - GMEM_LIB = gmemlib - LIBRARY_VERSION := $(LIB_VERSION) - endif |