5 Mar
2004
5 Mar
'04
5:35 a.m.
Where does it get lost? Why doesn't MAKE_CMD get lost? As far as I can see, the top level Makefile propagates CONFIGURE_ARGS, so it would have to be lost before that...
/ Marcus Comstedt (ACROSS) (Hail Ilpalazzo!)
Previous text:
2004-03-05 00:07: Subject: xenofarm question
Changing the position of configureargs in the make line doesn't seem to make any difference. What am i doing wrong?
The reason is probably that CONFIGUREARGS gets lost when xenofarm.sh gets called. This is a bug. A workaround that might work is:
test: default make MAKE_CMD="make CONFIGURE_ARGS=--with-force-ua32" xenofarm
Bill
/ Henrik Grubbström (Lysator)