I've seen them in the Pikefarm logs, but I haven't been able to trigg the bug myself. It looks like it's due to some interpreter bug triggered by the Getopt module.

/ Henrik Grubbström (Lysator)

Previous text:

2003-11-13 08:32: Subject: -DNOT_INSTALLED

---

There's lots of red dots in pikefarm for 7.5 now. Anyone working on it?

| Compiling /home/xenofarm/xenoclient/pike-7.5/orchid.mirar.org/buildtmp/Pike7.5-20031113-045850/src/post_modules/GL/top.c | /home/xenofarm/xenoclient/pike-7.5/orchid.mirar.org/buildtmp/Pike7.5-20031113-045850/build/linux-2.6.0-test9-i686/pike -DNOT_INSTALLED -DPRECOMPILED_SEARCH_MORE -m/home/xenofarm/xenoclient/pike-7.5/orchid.mirar.org/buildtmp/Pike7.5-20031113-045850/build/linux-2.6.0-test9-i686/master.pike /home/xenofarm/xenoclient/pike-7.5/orchid.mirar.org/buildtmp/Pike7.5-20031113-045850/src/post_modules/GL/gen.pike < /home/xenofarm/xenoclient/pike-7.5/orchid.mirar.org/buildtmp/Pike7.5-20031113-045850/src/post_modules/GL/auto.c.in > /home/xenofarm/xenoclient/pike-7.5/orchid.mirar.org/buildtmp/Pike7.5-20031113-045850/src/post_modules/GL/auto.c | Unknown options -DNOT_INSTALLED.

/ Mirar