use git to locate files

[bin.git] / sign_and_upload_debian_r

diff --git a/sign_and_upload_debian_r b/sign_and_upload_debian_r
index 492a9dd3bb653d336f40fbdce7ead006b4f24fb2..c57b32aacaf81b0baa89252fc64788da9611b2d2 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;