Issues Show Unassigned Show All Search
Login Remember me? Register Lost your login?
Help Roundup docs
Created on 2014-09-26.14:14:35 by pvonreth, last changed by jendrik.
merged and pushed, thanks for your work on this!
my branch is ready for review. https://bitbucket.org/TheOneRing/hg.fast-downward.org/pull-request/6/fix- windows/diff
I created issue480 for discussing build automation for Windows.
Would there be interest in setting up a Windows buildbot? We have two unused machines we could use for this.
The issue was not only related to the SIGXCPU signal but also to the new parameter for get_peak_memory_in_kb(bool use_buffered_input) Which is only used on Linux so with -Werror=unused-parameter it breaks the build on all other platforms.
I think we should take care of this in issue479.
Fix build on Windows after the last changes.