Ok, I'll fix the default config.opts file to not specify a value for pc_debug: that is certainly a bug. If you remove that option, then you don't need to change the Makefile. -- Dave |
Messages
Outline:
I tried that, but it didn't work by Cathelijne Hornstra, 2000, May 31
You might want to try it again by David Hinds, 2000, May 31