touch skipfile on success
authorMichael Wallner <mike@php.net>
Wed, 17 Jun 2015 09:47:40 +0000 (11:47 +0200)
committerMichael Wallner <mike@php.net>
Wed, 17 Jun 2015 09:47:40 +0000 (11:47 +0200)
bin/pecl

index ef215add671c24c72e7486423bb10ff559f1c64e..36c4229fed9be091f4ba451186c65d8d4076936e 100755 (executable)
--- 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;
        }