build: Parameterize build targets

2016-04-06 23:18:30 +02:00
parent 492e92d65d
commit 4f5d0b46f7
6 changed files with 187 additions and 137 deletions
@@ -0,0 +1,6 @@
+#!/bin/bash
+set -euo pipefail
+
+if [[ ${1:-} == configure ]]; then
+	pkill -HUP -x syncthing || true
+fi