diff options
| -rwxr-xr-x | Build/tools/tlrebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/tools/tlrebuild b/Build/tools/tlrebuild index f219792b29f..9647d8a9a51 100755 --- a/Build/tools/tlrebuild +++ b/Build/tools/tlrebuild @@ -48,7 +48,7 @@ message() \ master=`cd $tools/../../Master && pwd` top=`cd $master/.. && pwd` message "svn update" -#xx (cd $top && svn update) || exit 1 +(cd $top && svn update) || exit 1 if $no_tpm; then :; else # have to run multiple times to make the sizes converge, since the .tpm |