diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 12 |
1 files changed, 1 insertions, 11 deletions
diff --git a/Makefile.in b/Makefile.in index df8b2b9..fd25312 100644 --- a/Makefile.in +++ b/Makefile.in @@ -55,17 +55,7 @@ dev-check: all fallible-tests sh aux/workflow/assert-todos.sh dist: - if git show v$(VERSION) 1>/dev/null 2>/dev/null; then \ - echo 'Version v$(VERSION) already exists.'; \ - exit 1; \ - fi - - if [ '$(DATE)' != "$$(git log -1 --format=%cd --date=short HEAD)" ]; then \ - echo 'Date $(DATE) is not up-to-date.'; \ - exit 1; \ - fi - - git tag v$(VERSION) + sh aux/workflow/dist.sh $(DATE) $(VERSION) clean: rm -rf public/ tests/test-profiles/ remembering remembering-c run-tests fallible* vgcore* |