From: Michael Wallner <mike@php.net>
Date: Wed, 17 Jun 2015 09:47:40 +0000 (+0200)
Subject: touch skipfile on success
X-Git-Url: https://git.m6w6.name/?a=commitdiff_plain;h=3ba03b2d06fbc8419421e558f91d0d45850dabbf;p=pharext%2Freplicator.pharext.org

touch skipfile on success
---

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;
 	}