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

Reply via email to