administrativa

[m6w6/ext-http] / check_package-xml.php

diff --git a/check_package-xml.php b/check_package-xml.php
index 4000054a16755258b51c3aabaf0ed7bcc473a805..32a1e734da067cb8a9ac93cd41ee785e1826f23f 100755 (executable)
--- a/check_package-xml.php
+++ b/check_package-xml.php
@@ -36,6 +36,11 @@ if (($xml = simplexml_load_file($file))) {
                        }
                }
        }
+       foreach ($xml_files as $file) {
+               if (!file_exists($file)) {
+                       echo "Extraneous file $file\n";
+               }
+       }
 }
 
 ###