- oops, wrong version commited.

Changed files:
    arts-extension_loader.patch -> 1.2

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