diff options
-rwxr-xr-x | Master/common.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/common.sh b/Master/common.sh index 60b857f89ef..db3ec5fa35d 100755 --- a/Master/common.sh +++ b/Master/common.sh @@ -413,7 +413,7 @@ prepare_dirs() warn "command 'chmod 1777 $opt_varfonts_dir/pk $opt_varfonts_dir/tfm' failed" echo "done preparing." >&2 - if test $all_systems_ns = 1; then + if test "$all_systems_ns" = 1; then cls textvar_show screen_6 echo |