Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

make: add clean target #344

Merged
merged 2 commits into from
Aug 24, 2023
Merged

make: add clean target #344

merged 2 commits into from
Aug 24, 2023

Conversation

xhebox
Copy link
Collaborator

@xhebox xhebox commented Aug 23, 2023

What problem does this PR solve?

Issue Number: close #343

Problem Summary: add make clean to delete existed files.

What is changed and how it works:

Check List

Tests

  • Unit test
  • Integration test
  • Manual test (add detailed scripts or steps below)
  • No code

Notable changes

  • Has configuration change
  • Has HTTP API interfaces change
  • Has tiproxyctl change
  • Other user behavior changes

Release note

Please refer to Release Notes Language Style Guide to write a quality release note.

None

Signed-off-by: xhe <xw897002528@gmail.com>
@ti-chi-bot ti-chi-bot bot requested review from bb7133 and djshow832 August 23, 2023 08:19
@ti-chi-bot ti-chi-bot bot added the size/XS label Aug 23, 2023
@ti-chi-bot
Copy link

ti-chi-bot bot commented Aug 24, 2023

[APPROVALNOTIFIER] This PR is APPROVED

This pull-request has been approved by: djshow832

The full list of commands accepted by this bot can be found here.

The pull request process is described here

Needs approval from an approver in each of these files:

Approvers can indicate their approval by writing /approve in a comment
Approvers can cancel approval by writing /approve cancel in a comment

@ti-chi-bot ti-chi-bot bot added the lgtm label Aug 24, 2023
@ti-chi-bot
Copy link

ti-chi-bot bot commented Aug 24, 2023

[LGTM Timeline notifier]

Timeline:

  • 2023-08-24 03:51:28.391425697 +0000 UTC m=+1380652.940441681: ☑️ agreed by djshow832.

@ti-chi-bot ti-chi-bot bot added the approved label Aug 24, 2023
@ti-chi-bot ti-chi-bot bot merged commit bcb0848 into pingcap:main Aug 24, 2023
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

support make clean option
2 participants