fixes push target
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 7 Feb 2007 23:05:12 +0000 (23:05 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 7 Feb 2007 23:05:12 +0000 (23:05 +0000)
peers-test.mk

index 2456e17..96fe2f2 100644 (file)
@@ -18,7 +18,7 @@ all:help
 ####################
 PUSH=pclean pplc1 papi1 pplc2 papi2
 #EXTRA-PUSHS= ./Shell.py ./TestPeers.py ./planetlab4.sql ./dummy-config ./peers-test.mk ./person-password.sh
-EXTRA-PUSHS=  ./TestPeers.py ./planetlab4.sql ./dummy-config ./peers-test.mk ./person-password.sh ./plcsh
+EXTRA-PUSHS=  ./TestPeers.py ./planetlab4.sql ./peers-test.mk ./person-password.sh ./plcsh
 
 push:$(PUSH)