pike.git / src / Makefile.in

version» Context lines:

pike.git/src/Makefile.in:1:   # - # $Id: Makefile.in,v 1.383 2004/07/04 12:54:46 mast Exp $ + # $Id: Makefile.in,v 1.384 2004/09/18 20:28:10 nilsson Exp $   #      # This line is needed on some machines.   @SET_MAKE@      # Don't change this line. Define EXTRALIBS before this line if you   # wish to add any libraries.   LIBS=@LIBS@ $(EXTRALIBS)      # This is normall the install program in the source directory
pike.git/src/Makefile.in:673:   run_hilfe: master.pike    $(RUNPIKE) $(ARGS)      valgrind_hilfe: master.pike    $(VALGRIND) $(VALGRINDARGS) $(RUNPIKE) $(ARGS)      feature_list:    $(RUNPIKE) $(TMP_BINDIR)/feature_list      run_bench: -  $(RUNPIKE) $(ARGS) -x benchmark +  $(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 ; \    done    @echo "Done."    -@touch ./lib 2>/dev/null || (touch lib/.broken_gnu_touch && rm lib/.broken_gnu_touch)