Hi David!
On Sat Jul 26, 2003 at 21:13:29 +0100, David Denny wrote:
make -C l4 config fails with /bin/sh: tempfile: command not found
Oh, looks like "tempfile" is a Debian specific command, it just generates a random filename.
Use this patch to overcome the problem:
--- Makefile 25 Jul 2003 11:20:00 -0000 1.45 +++ Makefile 26 Jul 2003 21:20:17 -0000 @@ -130,12 +130,12 @@ echo $v=$($v) >>$(DROPSCONF_CONFIG_MK);) $(VERBOSE)echo 'BUILD_PIC += $$(BUILD_LOADER_PICS)' >>$(DROPSCONF_CONFIG_MK) ifeq ($(INT_CPP_NAME_SWITCH), y) - $(VERBOSE)set -e; X=`tempfile -s .c` ; echo 'int main(void){}'>$$X ; \ + $(VERBOSE)set -e; X=/tmp/file$$$$$$RANDOM.c ; echo 'int main(void){}'>$$X ; \ rm -f $$X.out ; LD_PRELOAD=$(BID_LIBGENDEP) GENDEP_SOURCE=$$X \ GENDEP_OUTPUT=$$X.out $(CC) -c $$X -o $$X.o; test -e $$X.out; \ echo INT_CPP_NAME=`cat $$X.out` >>$(DROPSCONF_CONFIG_MK); \ rm -f $$X $$X.{c,out} - $(VERBOSE)set -e; X=`tempfile -s .cc` ; echo 'int main(void){}'>$$X; \ + $(VERBOSE)set -e; X=/tmp/file$$$$$$RANDOM.cc ; echo 'int main(void){}'>$$X; \ rm -f $$X.out; LD_PRELOAD=$(BID_LIBGENDEP) GENDEP_SOURCE=$$X \ GENDEP_OUTPUT=$$X.out $(CXX) -c $$X -o $$X.o; test -e $$X.out; \ echo INT_CXX_NAME=`cat $$X.out` >>$(DROPSCONF_CONFIG_MK) ; \
Adam