<@U016EM8L91B> Working with <@U020J2W6Q84> on an improved Docker image but right now we have some is...

Olof Kindgren

01/04/2022, 5:53 PM

@User Working with @User on an improved Docker image but right now we have some issue where the liberty files don't seem to be generated. Any clues where we should start looking?

Tim Edwards

01/04/2022, 5:56 PM

Yes,

make timing

Olof Kindgren

01/04/2022, 5:57 PM

Aha. It looks like our Docker recipe doesn't run make timing. That's probably the reason

Olof Kindgren

01/04/2022, 5:58 PM

Scratch that. We are running make timing. Oh well. Now I know where to look. Thanks

Open in Slack

Previous Next

What is Linen?

Linen is a search-engine friendly community platform. We offer integrations with existing Slack/Discord communities and make those conversations Google-searchable.