diff --git a/host_gui/make.sh b/host_gui/make.sh index f698890824aead093186e9c47e056d8a12cd3dfb..5dbfa9a5a109da9e64eb69629a317cc4c21e3866 100755 --- a/host_gui/make.sh +++ b/host_gui/make.sh @@ -18,6 +18,6 @@ $firefox && ( firefox -new-window http://localhost:9080 ) & -./bin/${parentName}/${parentName} "$@" +valgrind ./bin/${parentName}/${parentName} "$@" stty sane