From 7ceac112ed90a4fb69bef244cdcdaf3aa872c083 Mon Sep 17 00:00:00 2001
From: hneemann <helmut.neemann@arcor.de>
Date: Sun, 17 Apr 2016 22:24:09 +0200
Subject: [PATCH] ignore copy errors

---
 pom.xml | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/pom.xml b/pom.xml
index c7db3a2ae..bfdf1228f 100644
--- a/pom.xml
+++ b/pom.xml
@@ -175,7 +175,10 @@
                             <goal>exec</goal>
                         </goals>
                         <configuration>
-                            <successCodes>0,1,2,3,4,5,6,7,8,9</successCodes>
+                            <successCodes>
+                                <successCode>0</successCode>
+                                <successCode>1</successCode>
+                            </successCodes>
                             <executable>chmod</executable>
                             <arguments>
                                 <argument>+x</argument>
@@ -190,7 +193,10 @@
                             <goal>exec</goal>
                         </goals>
                         <configuration>
-                            <successCodes>0,1,2,3,4,5,6,7,8,9</successCodes>
+                            <successCodes>
+                                <successCode>0</successCode>
+                                <successCode>1</successCode>
+                            </successCodes>
                             <executable>cp</executable>
                             <arguments>
                                 <argument>target/Digital.jar</argument>