Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Fix Dockerfile #1631

Closed
wants to merge 2 commits into from
Closed

Fix Dockerfile #1631

wants to merge 2 commits into from

Conversation

rmetzler
Copy link

target distclean did not exist in Makefile
target dist-clean-local works.

This should override #1429

@rmetzler
Fix Dockerfile
25ded98 
target `distclean` did not exist in Makefile
target `dist-clean-local` works.
@coveralls
Copy link

Coverage Status

Coverage remained the same at 84.615% when pulling 25ded98 on rmetzler:rmetzler-dockerfile-make into 7fd9e86 on stedolan:master.

@pjeby pjeby mentioned this pull request Feb 19, 2019
Closed
@nicowilliams
Copy link
Contributor

Could you rebase and drop the merge commit?

@liquidaty liquidaty mentioned this pull request Mar 7, 2023
Closed
@itchyny itchyny added the docker label Jun 2, 2023
@itchyny itchyny mentioned this pull request Jul 3, 2023
Merged
@itchyny itchyny added this to the 1.7 release milestone Jul 3, 2023
@itchyny itchyny closed this in #2649 Jul 4, 2023
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@Alanscut Alanscut Alanscut approved these changes

Assignees
No one assigned
Labels
docker
Projects
None yet
Milestone
1.7 release
Development

Successfully merging this pull request may close these issues.
5 participants
@rmetzler @coveralls @nicowilliams @Alanscut @itchyny