I don't have a strong opinion about this, but I'm not sure how you would make this work robustly.
Perhaps add a "configure" option with OS name that is visible in a variable? Perhaps a cfg file for each OS that is loaded before other config files? linux.cfg could "set os linux", win32.cfg "set os win" + other stuff? -- Øyvind Harboe PayBack incident management system Reduce costs and increase quality, free Starter Edition http://www.payback.no/index_en.html _______________________________________________ Openocd-development mailing list Openocd-development@lists.berlios.de https://lists.berlios.de/mailman/listinfo/openocd-development