common: update deprecated use of boost::filesystem::basename
.
This commit is contained in:
parent
088c822e28
commit
8f0731edc9
@ -86,14 +86,14 @@ bool CommandHandler::parseOptions()
|
|||||||
bool CommandHandler::executeBeforeContext()
|
bool CommandHandler::executeBeforeContext()
|
||||||
{
|
{
|
||||||
if (vm.count("help") || argc == 1) {
|
if (vm.count("help") || argc == 1) {
|
||||||
std::cerr << boost::filesystem::basename(argv[0])
|
std::cerr << boost::filesystem::path(argv[0]).stem()
|
||||||
<< " -- Next Generation Place and Route (Version " GIT_DESCRIBE_STR ")\n";
|
<< " -- Next Generation Place and Route (Version " GIT_DESCRIBE_STR ")\n";
|
||||||
std::cerr << options << "\n";
|
std::cerr << options << "\n";
|
||||||
return argc != 1;
|
return argc != 1;
|
||||||
}
|
}
|
||||||
|
|
||||||
if (vm.count("version")) {
|
if (vm.count("version")) {
|
||||||
std::cerr << boost::filesystem::basename(argv[0])
|
std::cerr << boost::filesystem::path(argv[0]).stem()
|
||||||
<< " -- Next Generation Place and Route (Version " GIT_DESCRIBE_STR ")\n";
|
<< " -- Next Generation Place and Route (Version " GIT_DESCRIBE_STR ")\n";
|
||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user