convenience to push the fd driver
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 16 Dec 2011 16:32:38 +0000 (17:32 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 16 Dec 2011 16:32:38 +0000 (17:32 +0100)
Makefile

index b7e1154..45136a5 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -163,7 +163,7 @@ clientsync:
        +$(RSYNC)  $(BINS) $(SSHURL)/usr/bin/
 
 ricasync:
        +$(RSYNC)  $(BINS) $(SSHURL)/usr/bin/
 
 ricasync:
-       +$(RSYNC) --relative ./sfa/fd ./sfa/generic/fd.py $(SSHURL)/usr/lib\*/python2.\*/site-packages/
+       +$(RSYNC) --relative ./sfa/fd ./sfa/generic/fd.py ./sfa/rspecs/versions/federica.py $(SSHURL)/usr/lib\*/python2.\*/site-packages/
 
 .PHONY: sync fastsync clientsync
 
 
 .PHONY: sync fastsync clientsync