parent
a96a879b6d
commit
c5455764ad
|
@ -56,8 +56,8 @@ static std::string objfiles(const std::vector<std::string> &files)
|
||||||
|
|
||||||
static void getDeps(const std::string &filename, std::vector<std::string> &depfiles)
|
static void getDeps(const std::string &filename, std::vector<std::string> &depfiles)
|
||||||
{
|
{
|
||||||
if (filename == "externals/z3_version.h")
|
if (filename == "externals/z3_version.h")
|
||||||
return;
|
return;
|
||||||
|
|
||||||
static const std::vector<std::string> externalfolders = {"externals",
|
static const std::vector<std::string> externalfolders = {"externals",
|
||||||
"externals/simplecpp",
|
"externals/simplecpp",
|
||||||
|
|
Loading…
Reference in New Issue