[dev-run] minor

pull/819/merge
Ebrahim Byagowi 7 years ago committed by GitHub
parent fa13a04cf3
commit a6bd6bcee0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      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 )

Loading…
Cancel
Save