From fa9335290d212e2d81e91954520981033f8877f6 Mon Sep 17 00:00:00 2001
From: Hannah Wolfe <erisds@gmail.com>
Date: Mon, 9 Mar 2015 17:37:02 +0000
Subject: [PATCH] No more source maps in grunt prod

refs #4955

- needed to build on ubuntu 14.14 with node 12 (DO image)
- barely used anyway, as release task has it disabled
---
 Gruntfile.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Gruntfile.js b/Gruntfile.js
index 3f87aa474a0..7013422f8f6 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -655,7 +655,7 @@ var _              = require('lodash'),
             uglify: {
                 prod: {
                     options: {
-                        sourceMap: true
+                        sourceMap: false
                     },
                     files: {
                         'core/built/public/jquery.min.js': 'core/built/public/jquery.js',