X-Git-Url: https://git.m6w6.name/?p=m6w6%2Freplicator;a=blobdiff_plain;f=bin%2Fpecl;h=36c4229fed9be091f4ba451186c65d8d4076936e;hp=ef215add671c24c72e7486423bb10ff559f1c64e;hb=3ba03b2d06fbc8419421e558f91d0d45850dabbf;hpb=4b2d3b750ceede9838bcf04040db6a7eacb253fe diff --git a/bin/pecl b/bin/pecl index ef215ad..36c4229 100755 --- a/bin/pecl +++ b/bin/pecl @@ -28,6 +28,10 @@ function wait(&$pids) { fail($pkg, $ver, $skp, "signal: %d", $rc); } else { printf("SUCCESS: %s-%s\n", $pkg, $ver); + /* create skipfile, ensuring we do not build a package with + * different name in registry/package.xml again + */ + touch($skp); } break; }