From 3ba03b2d06fbc8419421e558f91d0d45850dabbf Mon Sep 17 00:00:00 2001
From: Michael Wallner <mike@php.net>
Date: Wed, 17 Jun 2015 11:47:40 +0200
Subject: [PATCH] touch skipfile on success

---
 bin/pecl | 4 ++++
 1 file changed, 4 insertions(+)

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