From 9035d2f6a45a2549c2d1aa4237aeacd0b100e418 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sybren=20A=2E=20St=C3=BCvel?= <sybren@stuvel.eu>
Date: Tue, 20 Sep 2016 15:38:11 +0200
Subject: [PATCH] Added 'gulp' script, which does an 'npm install' when needed.

It then runs 'gulp' and 'gulp watch'.
---
 gulp | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100755 gulp

diff --git a/gulp b/gulp
new file mode 100755
index 0000000..0d23416
--- /dev/null
+++ b/gulp
@@ -0,0 +1,15 @@
+#!/bin/bash -ex
+
+GULP=./node_modules/.bin/gulp
+
+function install() {
+    npm install
+    touch $GULP  # installer doesn't always touch this after a build, so we do.
+}
+
+# Rebuild Gulp if missing or outdated.
+[ -e $GULP ] || install
+[ gulpfile.js -nt $GULP ] && install
+
+$GULP
+exec $GULP watch