/[svn]/Makefile.distrib
ViewVC logotype

Diff of /Makefile.distrib

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 731 by abate, Tue Jul 10 17:59:21 2007 UTC revision 737 by abate, Tue Jul 10 17:59:46 2007 UTC
# Line 115  Line 115 
115  INCLUDES = $(DIRS:%=-I %)  INCLUDES = $(DIRS:%=-I %)
116    
117  cduce: $(CDUCE:.cmo=.$(EXTENSION))  cduce: $(CDUCE:.cmo=.$(EXTENSION))
118          $(LINK) $(INCLUDES) -o $@ $^          $(LINK) $(INCLUDES) -o $@ $^ $(EXTRA_LINK_OPTS)
119    
120  bug: $(OBJECTS) bug.cmo  bug: $(OBJECTS) bug.cmo
121          $(LINK) $(INCLUDES) -o $@ $^          $(LINK) $(INCLUDES) -o $@ $^

Legend:
Removed from v.731  
changed lines
  Added in v.737

CVS Admin">CVS Admin
ViewVC Help
Powered by ViewVC 1.1.5