Stupid newb can't "make -C l4 config" ..

[Adam Lackorzynski]

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
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/