build: Simpler creation of Debian packages

GitHub-Pull-Request: https://github.com/syncthing/syncthing/pull/3591
This commit is contained in:
Jakob Borg
2016-09-12 12:21:07 +00:00
parent 7fb53ec954
commit 4f6206cb2d
8 changed files with 33 additions and 82 deletions

3
script/post-upgrade Normal file
View File

@@ -0,0 +1,3 @@
#!/bin/sh
pkill -HUP -x syncthing || true