diff options
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile index 898ec738..fd762ca0 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -418,6 +418,10 @@ install.sharedlibstub: $(MAKE) -C lib -f $(SRCDIR)/lib/Makefile \ SRCDIR=$(SRCDIR) BUILDDIR=$(BUILDDIR) install.sharedlibstub +.PHONY: deb +deb: + buildtools/debian/mkdeb --buildtools=buildtools --pkgdir=$(PKGDIR) + .PHONY: check check: # This works on typical Linux systems |