diff --git a/check-package.sh b/check-package.sh new file mode 100755 index 00000000..62e86e75 --- /dev/null +++ b/check-package.sh @@ -0,0 +1,6 @@ +#!/bin/bash + +for src in *.c */*.c *.h */*.h tests/*phpt tests/*ini +do + grep -q $(basename $src) package.xml || echo "Missing $src" +done diff --git a/package2.xml b/package.xml similarity index 96% rename from package2.xml rename to package.xml index be5e068a..7fabf344 100644 --- a/package2.xml +++ b/package.xml @@ -66,7 +66,9 @@ + + @@ -74,24 +76,37 @@ + + + + + + + + + + + + + @@ -177,8 +192,10 @@ + +