<!--
	CDN buckets:

		- s3.amazonaws.com/images.mentor.com/
		- d30fqqf2omcq1k.cloudfront.net
		- d3hnmhviacntp6.cloudfront.net

-->
<ruleset name="Mentor Graphics (partial)">

	<target host="codesourcery.com" />
	<target host="www.codesourcery.com" />
	<target host="mentor.com" />
	<target host="accounts.mentor.com" />
	<target host="store.mentor.com" />
	<target host="store1.mentor.com" />
	<target host="supportnet.mentor.com" />
	<target host="cache.mentor.com" />
		<!--
			* for cross-domain cookie.
							-->


	<securecookie host="^\.store1\.mentor\.com$" name=".+" />


	<rule from="^http://(?:www\.)?codesourcery\.com/"
		to="https://www.mentor.com/embedded-software/codesourcery" />

	<!--	!www doesn't work.
					-->
	<rule from="^http://mentor\.com/"
		to="https://www.mentor.com/" />


	<rule from="^http://cache\.mentor\.com/"
		to="https://d30fqqf2omcq1k.cloudfront.net/" />

	<rule from="^http:" to="https:" />
</ruleset>
