From: Heinrich Schuchardt <heinrich.schuchardt@canonical.com>
Date: Sun, 5 Oct 2025 20:04:07 +0000 (+0200)
Subject: correctly access file extension via boost::filesystem
X-Git-Tag: archive/raspbian/2019.2.0_git20230811.ff54a68+dfsg1-7+rpi1^2~2
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=6c60312d85ab8d9d6313e3c28f4d73196421559f;p=mshr.git

correctly access file extension via boost::filesystem

Extension() is a method for a path object.

Last-Update: 2025-09-22
Forwarded: https://bitbucket.org/fenics-project/mshr/pull-requests/19


Gbp-Pq: Name boost_filesystem_extension.patch
---

diff --git a/app/mshrable.cpp b/app/mshrable.cpp
index 1f90a9e..e663bbe 100644
--- a/app/mshrable.cpp
+++ b/app/mshrable.cpp
@@ -125,7 +125,7 @@ int main(int argc, char** argv)
 
     if (vm.count("polyout"))
     {
-      std::string extension = boost::filesystem::extension(vm["polyout"].as<std::string>());
+      std::string extension = boost::filesystem::path(vm["polyout"].as<std::string>()).extension().string();
 
       if (extension != ".off")
       {