From: parmentelat <thierry.parmentelat@inria.fr>
Date: Tue, 15 Jan 2019 14:26:08 +0000 (+0100)
Subject: make sync to push php as well
X-Git-Tag: plcapi-7.1-0~14
X-Git-Url: http://git.onelab.eu/?a=commitdiff_plain;h=aeae61fcf24491935e5ae24ae99c7a33e9c18b00;p=plcapi.git

make sync to push php as well
---

diff --git a/Makefile b/Makefile
index 84be628d..0c546e36 100644
--- a/Makefile
+++ b/Makefile
@@ -84,7 +84,7 @@ ifeq (,$(SSHURL))
 	@echo "  make sync PLCHOSTLXC=.. GUESTHOSTNAME=.. GUESTNAME=.."
 	@exit 1
 else
-	+$(RSYNC) plcsh PLC planetlab5.sql migrations $(SSHURL)/usr/share/plc_api/
+	+$(RSYNC) plcsh PLC planetlab5.sql migrations php $(SSHURL)/usr/share/plc_api/
 	+$(RSYNC) db-config.d/ $(SSHURL)/etc/planetlab/db-config.d/
 	+$(RSYNC) plc.d/ $(SSHURL)/etc/plc.d/
 	+$(RSYNC) apache/plc.wsgi $(SSHURL)/usr/share/plc_api/apache/