Wed Feb 28 08:19:00 PST 2007 Malcolm.Wallace@cs.york.ac.uk * Add a configure-time option "--copts=" to give flags to the C compiler. Pass the stored options to all C invocations at build-time. Maybe this will help when trying to tweak for benchmark speed. :-) M ./configure -11 +15 M ./src/compiler98/Makefile -1 +1 M ./src/hp2graph/Makefile -1 +1 M ./src/libraries/Makefile.common -1 +1 M ./src/runtime/Builtin/Makefile -1 +2 M ./src/runtime/Integer/Makefile -1 +2 M ./src/runtime/Kernel/Makefile -1 +1 M ./src/runtime/LiterateKernel/Makefile -2 +2 M ./src/runtime/Makefile -1 +1 M ./src/runtime/Mk/Makefile -1 +2