diff options
| -rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
| @@ -10,7 +10,10 @@ | |||
| 10 | ROOT := $(shell pwd) | 10 | ROOT := $(shell pwd) |
| 11 | NPROC := $(shell nproc 2>/dev/null || echo 2) | 11 | NPROC := $(shell nproc 2>/dev/null || echo 2) |
| 12 | SUDO := $(shell [ "$$(id -u)" = "0" ] && echo "" || echo "sudo") | 12 | SUDO := $(shell [ "$$(id -u)" = "0" ] && echo "" || echo "sudo") |
| 13 | VERSION := 1.2.18 | 13 | # Not "1.2.18". This tree is upstream v1.2.18 plus 24 commits of our own and a |
| 14 | # hand-merged payout ledger, so a binary built here must not be mistakable for | ||
| 15 | # the upstream release of that number -- it names every release artifact. | ||
| 16 | VERSION := 1.2.18+sec | ||
| 14 | 17 | ||
| 15 | # ---- Pinned third-party sources ------------------------------------------- | 18 | # ---- Pinned third-party sources ------------------------------------------- |
| 16 | # | 19 | # |