pike.git/ src/ Makefile.in

2002-09-05

2002-09-05 15:28:14 by Marcus Comstedt <marcus@mc.pp.se>

• 9c5c6b47a3fc8dd96d80f3f94988c7913810a712 (9 lines) (+5/-4) ^{[ Show | Annotate ]}
  Branch: 7.9

Bugfix in tool generation.

Rev: src/Makefile.in:1.320

1:   # - # $Id: Makefile.in,v 1.319 2002/08/20 08:23:41 grubba Exp $ + # $Id: Makefile.in,v 1.320 2002/09/05 15:28:14 marcus Exp $   #      # This line is needed on some machines.
309:      hilfe: $(TMP_BINDIR)/hilfe Makefile    @echo "Creating hilfe..."; \ -  ( sed -e 's!/usr/bin/env pike!$(exec_prefix)!' <$(TMP_BINDIR)/hilfe \ -  >./hilfe && chmod 755 ./hilfe) || exit 1 ; +  ( sed -e 's!/usr/bin/env pike!$(exec_prefix)/pike!' \ +  <$(TMP_BINDIR)/hilfe >./hilfe && chmod 755 ./hilfe) || exit 1 ;      rsif: $(TMP_BINDIR)/rsif Makefile    @echo "Creating rsif..."; \ -  ( sed -e 's!/usr/bin/env pike!$(exec_prefix)!' <$(TMP_BINDIR)/rsif \ +  ( sed -e 's!pike!$(exec_prefix)/pike!' <$(TMP_BINDIR)/rsif \    >./rsif && chmod 755 ./rsif) || exit 1 ;      dump_modules: pike master-stamp $(SRCDIR)/dumpmodule.pike