michael@0: # Pymake needs Windows-style paths. Use cmd.exe to hack around this.
michael@0: mk_export_correct_style() {
michael@0:   mk_add_options "export $1=$(cmd.exe //c echo %$1%)"
michael@0: }