Skip to content
This repository has been archived by the owner on Jul 20, 2019. It is now read-only.

Two Makefile cleanups #23

Merged
merged 2 commits into from
May 15, 2019
Merged

Two Makefile cleanups #23

merged 2 commits into from
May 15, 2019

Conversation

lucaswerkmeister
Copy link
Member

See individual commit messages.

@lucaswerkmeister
Remove duplicate .PHONY: ci in Makefile
00a2625 
The ci target was part of the initial Makefile in ff2e278, then
removed in 4e345fa but without removing it from .PHONY, and then
re-added in ca582c6, resulting in it being listed in .PHONY twice.
@lucaswerkmeister
Remove stale .PHONY: stan from Makefile
de652ee 
The stan target was part of the initial Makefile in ff2e278, then
removed in 4e345fa but without removing it from .PHONY.
@JeroenDeDauw JeroenDeDauw merged commit eeec984 into master May 15, 2019
@JeroenDeDauw JeroenDeDauw deleted the Makefile branch May 15, 2019 20:26
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@JeroenDeDauw JeroenDeDauw Awaiting requested review from JeroenDeDauw

@AlaaSarhan AlaaSarhan Awaiting requested review from AlaaSarhan

Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@lucaswerkmeister @JeroenDeDauw