merge changes from HEAD
[plcapi.git] / PLCAPI.spec
index f5d39ee..af413e5 100644 (file)
@@ -1,6 +1,6 @@
 Summary: PlanetLab Central API
 Name: PLCAPI
-Version: 4.1
+Version: 4.2
 Release: 2%{?pldistro:.%{pldistro}}%{?date:.%{date}}
 License: PlanetLab
 Group: System Environment/Daemons
@@ -74,7 +74,7 @@ rm -rf $RPM_BUILD_ROOT
 %{_bindir}/plcsh
 %{php_extension_dir}/xmlrpc.so
 %{_sysconfdir}/php.d/xmlrpc.ini
-%{_bindir}/refresh-peer.py
+%{_bindir}/refresh-peer.py*
 
 %changelog
 * Fri Oct 27 2006 Mark Huang <mlhuang@CS.Princeton.EDU> -