From f383a6c0329f5f58ac8627aaa54547e7a7f6bb20 Mon Sep 17 00:00:00 2001
From: David Brown <dave@brownsmeet.com>
Date: Mon, 27 Jun 2016 17:23:18 +0100
Subject: [PATCH] Correct quoting in postpush.pl.

---
 src/tools/testcoordinator/postpush.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tools/testcoordinator/postpush.pl b/src/tools/testcoordinator/postpush.pl
index 3eb07825..079f9e56 100644
--- a/src/tools/testcoordinator/postpush.pl
+++ b/src/tools/testcoordinator/postpush.pl
@@ -31,4 +31,4 @@ flock(LOG, 2)                    or die "Could not lock postpush.log";
 printf LOG strftime("%Y/%m/%d %H.%M.%S", localtime), " Repository $repo, branch $branch, name $name.\n";
 close(LOG);
 
-system "ssh root@oberon perl vishap/voc/src/tools/testcoordinator/buildall.pl >/tmp/buildall.log &";
+system 'ssh root@oberon perl vishap/voc/src/tools/testcoordinator/buildall.pl >/tmp/buildall.log &';