--- R-2.0.0/src/library/tools/Makefile.in~ 2004-12-12 11:14:42.021150848 +0000 +++ R-2.0.0/src/library/tools/Makefile.in 2004-12-12 11:14:57.141852152 +0000 @@ -15,7 +15,7 @@ pkg = tools -R_EXE = $(top_builddir)/bin/R --vanilla +R_EXE = $(R_EXE_NATIVE) --vanilla all: Makefile DESCRIPTION @echo "building package '$(pkg)'"