pike.git / src / Makefile.in

version» Context lines:

pike.git/src/Makefile.in:1:   # - # $Id: Makefile.in,v 1.469 2008/07/16 00:29:29 mast Exp $ + # $Id: Makefile.in,v 1.470 2008/07/18 01:03:12 mast Exp $   #      # This line is needed on some machines.   @SET_MAKE@      # Pike embed target, either libpike.so or libpike.a.   PIKE_LIB=@PIKE_LIB@      # Don't change this line. Define EXTRALIBS before this line if you   # wish to add any libraries.
pike.git/src/Makefile.in:892:    fi      # run hilfe, for interactive testing   run_hilfe: master.pike    $(RUNPIKE) $(ARGS)      valgrind_hilfe: master.pike    $(VALGRIND) $(VALGRINDARGS) $(RUNPIKE) $(ARGS)      feature_list: -  $(RUNPIKE) $(TMP_BINDIR)/feature_list +  $(RUNPIKE) --features      run_bench:    $(RUNPIKE) $(ARGS) -x benchmark $(BENCHARGS)      lib: Makefile    @for d in lib lib/modules lib/include; do \    if [ -d $$d/. ]; then : ; else \    echo "Creating $$d/."; \    (mkdir $$d && chmod u+rwx $$d) || exit 1; \    fi ; \