From 2e049e05ac14461826cfef3f2ad0d96e7dc581b2 Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Tue, 4 Oct 2016 18:33:27 +0200
Subject: [PATCH] fix build script for new gulp-typescript version

---
 gulpfile.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gulpfile.js b/gulpfile.js
index ce90fec8e..443eabc43 100644
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -217,7 +217,7 @@ gulp.task("compile-prod", ["clean"], function () {
   tsArgs.outDir = ".";
   // We don't want source maps for production
   tsArgs.sourceMap = undefined;
-  return gulp.src(paths.ts.release)
+  return gulp.src(paths.ts.release, {base: "."})
       .pipe(ts(tsArgs))
       .pipe(gulp.dest("build/ext/"));
 });