That doesn't seem to fix the problem, as I then get the following error:
sh: : cannot execute *** Error code 1 make: Fatal error: Command failed for target `configure'
But that notwithstanding, even running the command:
make MAKE_CMD="make CONFIGUREARGS=--with-force-ua32"
doesn't work, as far as propagating the configure arguments.
Any ideas?
Bill
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
/ Henrik Grubbstr�m (Lysator)