From e2f3361ac8d90afe37057b1c9be1090abf774822 Mon Sep 17 00:00:00 2001
From: Michael Keller <github@ike.ch>
Date: Sat, 28 Nov 2020 12:14:40 +0100
Subject: [PATCH] Cosmetic fix in gulpfile.

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

diff --git a/gulpfile.js b/gulpfile.js
index d4825385..67f49297 100644
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -566,14 +566,13 @@ function start_debug(done) {
 
     const platforms = getPlatforms();
 
-    const exec = require('child_process').exec;
     if (platforms.length === 1) {
         if (platforms[0] === 'android') {
             cordova_debug();
         } else {
             const run = getRunDebugAppCommand(platforms[0]);
             console.log(`Starting debug app (${run})...`);
-            exec(run);
+            child_process.exec(run);
         }
     } else {
         console.log('More than one platform specified, not starting debug app');