* Propagate patches from the source distribution to the destination

  distribution insofar they are applicable.

1 files changed, 3 insertions, 3 deletions

diff --git a/scripts/readmanifest.pm.in b/scripts/readmanifest.pm.in
index 31ea5f43cc56..8b9920b798d5 100644
--- a/scripts/readmanifest.pm.in
+++ b/scripts/readmanifest.pm.in
@@ -23,9 +23,9 @@ sub addPatch {
         }
     }
     
-    if (!$found) {
-        push @{$patchList}, $patch;
-    }
+    push @{$patchList}, $patch if !$found;
+
+    return !$found;
 }