diff options
Diffstat (limited to 'Makefile.private')
-rw-r--r-- | Makefile.private | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/Makefile.private b/Makefile.private index c70c204d..92127e98 100644 --- a/Makefile.private +++ b/Makefile.private @@ -18,7 +18,7 @@ .PHONY: official release # These files are removed when tarballs are generated. -PRIVATE = Makefile.private MCONFIG.devel +PRIVATE = Makefile.private mk/devel.mk GIT_DIR ?= .git ABS_GIT_DIR := $(shell cd '$(GIT_DIR)' 2>/dev/null && pwd) @@ -38,6 +38,7 @@ burn: isolinux.iso official: $(MAKE) spotless CC='$(CC) -m32' $(MAKE) all CC='$(CC) -m32' + $(MAKE) strip CC='$(CC) -m32' $(MAKE) dist CC='$(CC) -m32' release: @@ -99,7 +100,3 @@ LATEST_PREREL := syslinux-$(VERSION)-pre$(LATEST_PRERELNO) unprerel: echo $(LATEST_PRERELNO) > $(PRERELDIR)/.prerel @echo Next release will be $(LATEST_PREREL) - -preupload: - scp $(PRERELDIR)/$(LATEST_PREREL).* $(UPLOAD)/Testing - git push --tags |