update cvs server name in misc/release script

diff --git a/misc/release b/misc/release
index 8b68baf..519d486 100755 (executable)
--- a/misc/release
+++ b/misc/release
@@ -33,12 +33,12 @@ cd "$work"
 # identity if we have one; otherwise, change the "true" below to "$real".
 if true; then
   # Need to tag the tree, use real account
-  CVS="cvs -z3 -d ${sfuser}@cvs.sourceforge.net:/cvsroot/nasm"
+  CVS="cvs -z3 -d ${sfuser}@nasm.cvs.sourceforge.net:/cvsroot/nasm"
 else
   # Don't need to tag the tree, can use anonymous
-  echo ':pserver:anonymous@cvs.nasm.sourceforge.net:/cvsroot/nasm A' > "$work"/cvspass
+  echo ':pserver:anonymous@nasm.cvs.sourceforge.net:/cvsroot/nasm A' > "$work"/cvspass
   export CVS_PASSFILE="$work"/cvspass
-  CVS="cvs -z3 -d :pserver:anonymous@cvs.nasm.sourceforge.net:/cvsroot/nasm"
+  CVS="cvs -z3 -d :pserver:anonymous@nasm.cvs.sourceforge.net:/cvsroot/nasm"
 fi
 
 if [ -n "$2" ]; then