]> git.pld-linux.org Git - packages/ledit.git/blame - ledit-warn_seq.patch
- massive attack s/pld.org.pl/pld-linux.org/
[packages/ledit.git] / ledit-warn_seq.patch
CommitLineData
9ca5fc67 1Common subdirectories: ledit-1.10.orig/CVS and ledit-1.10/CVS
2diff -u ledit-1.10.orig/Makefile ledit-1.10/Makefile
3--- ledit-1.10.orig/Makefile Sat Jun 16 15:28:43 2001
4+++ ledit-1.10/Makefile Mon May 13 00:33:09 2002
5@@ -19,7 +19,7 @@
6 sed s/LEDIT_VERSION/$$VERSION/ ledit.l.tpl > ledit.l
7
8 pa_local.cmo: pa_local.ml
9- $(PP) pa_extend.cmo q_MLast.cmo -warn_seq pa_local.ml -o pa_local.ppo
10+ $(PP) pa_extend.cmo q_MLast.cmo pa_local.ml -o pa_local.ppo
11 $(COMP) -I `camlp4 -where` -c -impl pa_local.ppo
12 /bin/rm -f pa_local.ppo
13
14@@ -42,7 +42,7 @@
15 include .depend
16
17 .ml.cmo:
18- $(PP) ./pa_local.cmo -warn_seq $< -o $*.ppo
19+ $(PP) ./pa_local.cmo $< -o $*.ppo
20 $(COMP) -I `camlp4 -where` -c -impl $*.ppo
21 /bin/rm -f $*.ppo
22 .mli.cmi:
23Only in ledit-1.10: Makefile~
This page took 0.063046 seconds and 4 git commands to generate.