diff --git a/scripts/timer.js b/scripts/timer.js index 68d470e0b..7e60f196f 100755 --- a/scripts/timer.js +++ b/scripts/timer.js @@ -10,7 +10,7 @@ exec(cmd, (err) => { if (err) return console.log(err); var stop = +new Date(); var time = (stop - start) / 1000.; - fs.appendFileSync('/tmp/osrm.timings', `${name}\t${time}`, 'utf-8') -}) + fs.appendFileSync('/tmp/osrm.timings', `${name}\t${time}`, 'utf-8'); +});