pike.git
/
src
/
Makefile.in
version
»
Context lines:
10
20
40
80
file
none
3
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 ; \