diff options
Diffstat (limited to 'app-misc/geneweb/files/geneweb-6.02-parallellbuild.patch')
| -rw-r--r-- | app-misc/geneweb/files/geneweb-6.02-parallellbuild.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/app-misc/geneweb/files/geneweb-6.02-parallellbuild.patch b/app-misc/geneweb/files/geneweb-6.02-parallellbuild.patch deleted file mode 100644 index a1307b9b4872..000000000000 --- a/app-misc/geneweb/files/geneweb-6.02-parallellbuild.patch +++ /dev/null @@ -1,12 +0,0 @@ ---- wserver/Makefile.old 2011-03-11 13:47:04.000000000 +0100 -+++ wserver/Makefile 2011-03-11 13:47:20.000000000 +0100 -@@ -5,7 +5,8 @@ - OBJS=wserver.cmo - - all:: pa_macro5.cmo $(OBJS) --opt:: pa_macro5.cmo $(OBJS:.cmo=.cmx) -+opt:: pa_macro5.cmo -+ $(MAKE) $(OBJS:.cmo=.cmx) - - pa_macro5.cmo: pa_macro5.ml - camlp5r pa_extend.cmo q_MLast.cmo -o pa_macro5.ppo pa_macro5.ml |