diff configure @ 3176:7c9ce2220671

Bug fix: Do not implement external memory interface if Platform startup is not selected. [ Bugzilla 1001590 ]
author vae
date Fri, 18 May 2012 18:35:38 +0000
parents a2fb80f5315f
children
line wrap: on
line diff