diff options
author | mitchell <70453897+orbitalquark@users.noreply.github.com> | 2022-02-25 00:46:59 -0500 |
---|---|---|
committer | mitchell <70453897+orbitalquark@users.noreply.github.com> | 2022-02-25 00:46:59 -0500 |
commit | b3550c35ef785c28a42c41f0e585e907e4175b2c (patch) | |
tree | c578436d2b6eebfd870c33194bbfd65150f0223b /.github | |
parent | 0a541eda740c211df7a9e422e85e00cf4c06c95a (diff) |
Sixth pass refactoring Makefile.
Consolidate release rules into one and eliminate recursive makes.
Also use real executable targets, not phony ones.
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/release.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 98866771..f8890d12 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -6,7 +6,7 @@ on: inputs: args: description: Make arguments - default: release-all + default: release tag: description: Optional release tag (normally auto-detected) |