- fix regex filter.

Changed files:
    arts-extension_loader.patch -> 1.3

diff --git a/arts-extension_loader.patch b/arts-extension_loader.patch
index 9d813db32dac974504b0046e0641e52dca45b628..3824573e69505446ecae1140e6cf06991f42dda0 100644 (file)
--- a/arts-extension_loader.patch
+++ b/arts-extension_loader.patch
@@ -30,7 +30,7 @@
 +              std::string p = dir + "/" + name;
 +              if ( boost::filesystem::exists( p + ".so" ) )
 +                      return ( p + ".so" );
-+              boost::regex re( p + ".*so\\..+", boost::regex::extended );
++              boost::regex re( p + "(-.+){0,1}\\..+", boost::regex::extended );
 +              for ( boost::filesystem::directory_iterator i( dir );
 +                      i != boost::filesystem::directory_iterator(); ++i )
 +              {