walkero
/
harfbuzz
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[dev-run] minor

This commit is contained in:
Ebrahim Byagowi 2018-03-10 00:44:36 +03:30 committed by GitHub
parent 743ef31761
commit 62b3d8fb70
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/dev-run.sh
View File

@ -43,7 +43,7 @@ tmp=tmp.png
# or "fswatch -0 . -e build/ -e .git" # or "fswatch -0 . -e build/ -e .git"
find src/ | entr printf '\0' | while read -d ""; do find src/ | entr printf '\0' | while read -d ""; do
clear clear
echo '====================================================' yes = | head -n`tput cols` | tr -d '\n'
if [[ $CMAKENINJA ]]; then if [[ $CMAKENINJA ]]; then
ninja -Cbuild hb-shape hb-view && { ninja -Cbuild hb-shape hb-view && {
build/hb-shape $@ build/hb-shape $@