diff options
Diffstat (limited to 'Source/cmLocalUnixMakefileGenerator3.cxx')
-rw-r--r-- | Source/cmLocalUnixMakefileGenerator3.cxx | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Source/cmLocalUnixMakefileGenerator3.cxx b/Source/cmLocalUnixMakefileGenerator3.cxx index b0f7662..2e93d8c 100644 --- a/Source/cmLocalUnixMakefileGenerator3.cxx +++ b/Source/cmLocalUnixMakefileGenerator3.cxx @@ -638,8 +638,11 @@ cmLocalUnixMakefileGenerator3 replace = *i; os << "\t" << replace.c_str() << "\n"; } + if(symbolic) + { + os << ".PHONY : " << tgt.c_str() << "\n"; + } os << "\n"; - // Add the output to the local help if requested. if(in_help) { |