From 721ee182fed9675aa9af15899702634ae6e2659d Mon Sep 17 00:00:00 2001
From: Loic Nageleisen <l.nageleisen@adhoc-gti.com>
Date: Tue, 26 Jun 2018 14:59:46 +0200
Subject: [PATCH] Use correct path to push run and lib

---
 push | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/push b/push
index 4583861..c5d5ebb 100755
--- a/push
+++ b/push
@@ -37,7 +37,7 @@ remote="$1"
 
 tmp=$(ssh "$remote" 'mktemp -d')
 echo -e -n "\033[33m** pushing to\033[0m $remote:$tmp"
-if scp -q -r "${APPLY_ROOT}"/{groups,units,run,lib} "$remote":"$tmp"; then
+if scp -q -r "${APPLY_ROOT}"/{groups,units} run lib "$remote":"$tmp"; then
     echo -e " \033[32mOK\033[0m"
 fi