X-Git-Url: https://rtime.felk.cvut.cz/gitweb/novaboot.git/blobdiff_plain/aaa795d0d44a782e4d95a6c0dad99ddc1a90f48c..f5045133c1c4fdee1e0b3c154775fa6f8763c722:/Makefile

diff --git a/Makefile b/Makefile
index 47e6c23..026048d 100644
--- a/Makefile
+++ b/Makefile
@@ -16,6 +16,9 @@ install:
 	install -m 440 sudoers.novaboot $(DESTDIR)/etc/sudoers.d/novaboot
 	install -d $(DESTDIR)/etc/novaboot.d
 	install -m 644 etc.novaboot.txt $(DESTDIR)/etc/novaboot.d/README.txt
+ifneq ($(INSTALL_SERVER),)
+	$(MAKE) -C server install PREFIX=$(PREFIX)
+endif
 
 test:
 	$(MAKE) -C tests
@@ -25,3 +28,7 @@ release:
 	: gbp buildpackage --git-tag -b
 	: debrelease rtime
 	: git push --follow-tags
+
+snapshot:
+	: gbp dch --snapshot --ignore-branch
+	: DEB_BUILD_OPTIONS=nocheck gbp buildpackage -b --git-ignore-new --git-ignore-branch