fix sign and upload debian r slightly

diff --git a/sign_and_upload_debian_r b/sign_and_upload_debian_r
index 492a9dd3bb653d336f40fbdce7ead006b4f24fb2..fa6215636d8c367346b2c01894505e03f14ece34 100755 (executable)
--- a/sign_and_upload_debian_r
+++ b/sign_and_upload_debian_r
@@ -1,10 +1,7 @@
 #!/bin/sh
 
 C2DEBMACHINE=ignes.vpn.donarmstrong.com
-if [ -n "$HOST" ]; then
-    HOST="$(hostname)"
-fi;
-if [ "$HOST" == "archimedes" ]; then
+if [ "x$(hostname)" == "xarchimedes" ]; then
     C2DEBMACHINE="$(echo -n $C2DEBMACHINE|sed 's/vpn/int/')"
 fi;