diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/gendist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/gendist b/tools/gendist index 7a92ecbc..f594d535 100755 --- a/tools/gendist +++ b/tools/gendist @@ -32,6 +32,6 @@ echo -n "OK? " read OK echo Uploading to Atrey... scp $T/$REL.tar.gz $T/$DREL.tar.gz atrey.karlin.mff.cuni.cz:~ftp/pub/bird/ -echo Uploading to Regina... +echo Uploading to Jana... scp $T/$REL.tar.gz $T/$DREL.tar.gz jana.gin.cz:~ftp/pub/bird/ echo Done. |