Balázs, the js.embedded.properties configuration property might help here.
Try adding <extend-configuration-property name="js.embedded.properties" value="my.platform" /> to your gwt.xml file On Tue, May 5, 2015 at 6:26 AM, Kishore Palakollu < [email protected]> wrote: > Hi Robert, > i m facing the same issue. can you please tell me what has fixed > your issue. > > My compilation-mappings.txt contains > > B5079040E7FF0E555046C1AD8B647A66.cache.js > locale en_EN > user.agent gecko1_8 > > B5079040E7FF0E555046C1AD8B647A66.cache.js > locale en_EN > user.agent ie10 > > B5079040E7FF0E555046C1AD8B647A66.cache.js > locale en_EN > user.agent ie9 > > B5079040E7FF0E555046C1AD8B647A66.cache.js > locale en_EN > user.agent safari > > Devmode:devmode.js > > Thanks & Regards, > kishore. > > On Thursday, 4 December 2014 19:24:48 UTC+5:30, Robert Hoffmann wrote: >> >> @thomas >> >> thank you, that helped me to reduce the permutations to one. >> >> For the record, compilation-mappings.txt contained multiple cache.js file >> entries, now it only contains one >> >> >> FC8BCE744D2BA8E0C463CE0D2F389DB7.cache.js >> >> Devmode:devmode.js >> << >> ...and now sdm works. >> >> And it's fast :-) >> >> >> On Thursday, December 4, 2014 10:15:36 AM UTC+1, Robert Hoffmann wrote: >>> >>> Hi, >>> >>> Is there a way to see which properties cause the permutations? >>> (I'm using GWT 2.7.0) >>> >> >> When compiling your project, you should have a compilation-mappings.txt >> file generated next to the *.nocache.js. >> >> -- > You received this message because you are subscribed to the Google Groups > "GWT Contributors" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/google-web-toolkit-contributors/bcf4a9ce-75f7-40af-a8c0-05273db066ee%40googlegroups.com > <https://groups.google.com/d/msgid/google-web-toolkit-contributors/bcf4a9ce-75f7-40af-a8c0-05273db066ee%40googlegroups.com?utm_medium=email&utm_source=footer> > . > > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "GWT Contributors" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/google-web-toolkit-contributors/CAC7T7g%3DgxjSsQ8moFkszusQE_oNdT4yLwGBqdSyiYJGpM96Jcg%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
