Merge from secnet

[secnet.git] / generate

diff --git a/generate b/generate
index 32c6fbf61a7ba1ffcd48f9b79402f6951ddfd6e5..9275b25770b818e8346a6c11b0ba532c9e2e4de7 100755 (executable)
--- a/generate
+++ b/generate
@@ -258,6 +258,11 @@ sub process_subtree ($$) {
        }
        print O "\n";
     }
+    if (@targets) {
+       print O ".PHONY:";
+       print O " ${dir_prefix}${_}" foreach @targets;
+       print O "\n";
+    }
 
     return @targets;
 }