diff --git a/configure b/configure index 07e428b..f9da0ed 100755 --- a/configure +++ b/configure @@ -967,7 +967,7 @@ if [ "$ft_sha" = internal ]; then fi out=echo -if [ "$silentopt" == yes ]; then +if [ "$silentopt" = yes ]; then out=/bin/true fi