diff --git a/tools/build/gnome-shell-build-setup.sh b/tools/build/gnome-shell-build-setup.sh index 5132b7689..78ccd6960 100755 --- a/tools/build/gnome-shell-build-setup.sh +++ b/tools/build/gnome-shell-build-setup.sh @@ -42,7 +42,7 @@ if [ ! -f $HOME/.jhbuildrc-custom ]; then echo "done" fi -if test "x`echo $PATH | grep $HOME/bin`" == x; then +if test "x`echo $PATH | grep $HOME/bin`" = x; then echo "PATH does not contain $HOME/bin, it is recommended that you add that." echo fi