From a6bd6bcee08c9522f9269b5c63f784688abddcff Mon Sep 17 00:00:00 2001
From: Ebrahim Byagowi <ebrahim@gnu.org>
Date: Thu, 22 Feb 2018 16:52:56 +0330
Subject: [PATCH] [dev-run] minor

---
 src/dev-run.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/dev-run.sh b/src/dev-run.sh
index 40f6463..3b2257b 100755
--- a/src/dev-run.sh
+++ b/src/dev-run.sh
@@ -48,7 +48,7 @@ d|D )
 	if [[ $CMAKENINJA ]]; then
 		echo "Not supported on cmake builds yet"
 	else
-		build/libtool --mode=execute $GDB hb-shape $@
+		build/libtool --mode=execute $GDB build/util/hb-shape $@
 	fi
 ;;
 r|R )
-- 
2.7.4