[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1800814-update-script into lp:widelands

The proposal to merge lp:~widelands-dev/widelands/bug-1800814-update-script into lp:widelands has been updated. Status: Needs review => Merged For more details, see: https://code.launchpad.net/~widelands-dev/widelands/bug-1800814-update-script/+merge/358419 -- Your team Widela

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1800814-update-script into lp:widelands

Review: Approve compile.ch / 2 x update.sh Works as desigends, lets have it. @bunnybot merge -- https://code.launchpad.net/~widelands-dev/widelands/bug-1800814-update-script/+merge/358419 Your team Widelands Developers is subscribed to branch

Re: [Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1800814-update-script into lp:widelands

Had to manully inject code from number_of_cpus branch. code is straight foreward. -- https://code.launchpad.net/~widelands-dev/widelands/bug-1800814-update-script/+merge/358419 Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/bug-1800814

[Widelands-dev] [Merge] lp:~widelands-dev/widelands/bug-1800814-update-script into lp:widelands

requested to review the proposed merge of lp:~widelands-dev/widelands/bug-1800814-update-script into lp:widelands. === modified file 'compile.sh' --- compile.sh 2018-10-30 14:04:11 + +++ compile.sh 2018-11-07 06:36:36 + @@ -212,7 +212,7 @@ rm -f ../wl_map_object_info || true