Fixing gdbgui installation for osx

30cc24d2 · i-bird · 9796252a · 30cc24d2
Commit 30cc24d2 authored 4 years ago by i-bird
--- a/script/install_gdbgui
+++ b/script/install_gdbgui
@@ -13,7 +13,7 @@ source script/solve_python_devel

 node_js_inst=0

-if [ x"$platform" == x"osx" ]
+if [ x"$platform" == x"osx" ]; then
 	echo -e "node\033[91;5;1m The parallel debugger at the moment is not supported on OSX \033[0m"
 	return
 fi