Get rid of unicode quotes (#1140)

1 files changed, 3 insertions, 3 deletions

diff --git a/scripts/build-remote.pl.in b/scripts/build-remote.pl.in
index b5fc629eb..62e517f06 100755
--- a/scripts/build-remote.pl.in
+++ b/scripts/build-remote.pl.in
@@ -209,7 +209,7 @@ REQ: while (1) {
         };
         last REQ unless $@;
         print STDERR "$@";
-        warn "unable to open SSH connection to ‘$hostName’, trying other available machines...\n";
+        warn "unable to open SSH connection to '$hostName', trying other available machines...\n";
         $from = undef;
         $to = undef;
         $machine->{enabled} = 0;
@@ -251,7 +251,7 @@ close UPLOADLOCK;
 
 
 # Perform the build.
-print STDERR "building ‘$drvPath’ on ‘$hostName’\n";
+print STDERR "building '$drvPath' on '$hostName'\n";
 writeInt(6, $to) or die; # == cmdBuildPaths
 writeStrings([$drvPath], $to);
 writeInt($maxSilentTime, $to);
@@ -259,7 +259,7 @@ writeInt($buildTimeout, $to);
 my $res = readInt($from);
 if ($res != 0) {
     my $msg = decode("utf-8", readString($from));
-    print STDERR "error: $msg on ‘$hostName’\n";
+    print STDERR "error: $msg on '$hostName'\n";
     exit $res;
 }