the-distro/channel-scripts
1
0
Fork 1
Code Issues 8 Pull requests Projects Releases Packages Wiki Activity

Remove bad check

Browse source
This commit is contained in:
Eelco Dolstra 2017-07-07 19:42:20 +02:00
parent b6c049019a
commit 2f7994e3de
No known key found for this signature in database
GPG key ID: 8170B4726D7198DE
1 changed files with 0 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
generate-programs-index.cc
View file

@ -173,14 +173,6 @@ void mainWrapped(int argc, char * * argv)
break; break;
} }
if (file2->second.type != FSAccessor::Type::tRegular
|| !file2->second.isExecutable)
{
printError("symlink ‘%s’ points to non-executable ‘%s’",
storePath + "/" + file.first, stat.target);
break;
}
curPath = sub; curPath = sub;
stat = file2->second; stat = file2->second;
} }