search

WillieMaddox / or-tools

Automatically exported from code.google.com/p/or-tools
0 stars 0 forks source link

TinyThread not updated with a clean make third_party #11

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
What steps will reproduce the problem?
1. Checkout trunk
2. Build (success because TinyThread source is in the original check out)
3. make clean_third_party
4. Build (fails because no TinyThread source present)

What is the expected output? What do you see instead?

I would not have expected a make clean to break my build. If possible I suggest 
to either refetch the source or don't wipe it.

What version of the product are you using? On what operating system?

Linux trunk

Please provide any additional information below.

Original issue reported on code.google.com by jensen...@gmail.com on 11 Jun 2012 at 11:21

GoogleCodeExporter commented 9 years ago 
Indeed.

Thanks. It should be fixed now.

Original comment by lper...@google.com on 9 Aug 2012 at 7:38