mirror of
https://github.com/fatedier/frp.git
synced 2026-05-15 08:05:49 -06:00
[PR #4119] [CLOSED] Makefile: add .PHONY label. Pseudo target #4923
Labels
No labels
In Progress
WIP
WaitingForInfo
bug
doc
duplicate
easy
enhancement
future
help wanted
invalid
lifecycle/stale
need-issue-template
need-usage-help
no plan
proposal
pull-request
question
todo
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: github-starred/frp#4923
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/fatedier/frp/pull/4119
Author: @imalasong
Created: 4/1/2024
Status: ❌ Closed
Base:
dev← Head:pr/1📝 Commits (1)
b4474ecMakefile: add .PHONY label. Pseudo target📊 Changes
1 file changed (+19 additions, -1 deletions)
View changed files
📝
Makefile(+19 -1)📄 Description
WHY
Makefile: add .PHONY label. Pseudo target
close #4118
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.