From 3a33511df597af2e0feb4adef516dd55b6fd2c38 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nguy=E1=BB=85n=20Nh=E1=BA=ADt=20Ho=C3=A0ng?=
 <codeaholicguy@users.noreply.github.com>
Date: Mon, 9 Jan 2017 16:55:52 +0700
Subject: [PATCH] Fix dirname command

`dirname` command will return error if `pathname` has escape characters
---
 dev/setup.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev/setup.sh b/dev/setup.sh
index 258d2c3c..294fe7d0 100755
--- a/dev/setup.sh
+++ b/dev/setup.sh
@@ -2,7 +2,7 @@
 set -e
 
 # determine local paths
-pushd $(dirname $0) >/dev/null
+pushd $(dirname "$0") >/dev/null
 DEV_DIR=$PWD
 cd ..
 SRC_DIR=$PWD