Branch: Tag:

2001-10-05

2001-10-05 15:16:58 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Removed duplicate target "werify_installed".

Rev: src/Makefile.in:1.274

1:   # - # $Id: Makefile.in,v 1.273 2001/10/05 09:30:40 mirar Exp $ + # $Id: Makefile.in,v 1.274 2001/10/05 15:16:58 grubba Exp $   #      # This line is needed on some machines.
500:    if test "$(TESTARGS)" = "" ; then args="-a" ; else args="$(TESTARGS)" ; fi; \    if test -f ./test-pike ; then ./test-pike -DNOT_INSTALLED $(PIKEOPTS) $(TMP_BINDIR)/test_pike.pike $$args ; else sprsh `pwd`/test-install/pike/*/bin/pike.exe -DNOT_INSTALLED $(PIKE_OPTS) $(TMP_BINDIR)/test_pike.pike $$args ; fi    - verify_installed: module_testsuites testsuite master-stamp -  if test "$(TESTARGS)" = "" ; then args="-a" ; else args="$(TESTARGS)" ; fi; \ -  $(exec_prefix)/pike $(PIKEOPTS) $(TMP_BINDIR)/test_pike.pike $$args -  +    # run hilfe, for interactive testing   run_hilfe:    $(RUNPIKE) $(TMP_BINDIR)/hilfe