diff options
| -rw-r--r-- | nailgun_launcher/Stage0Lib.java | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/nailgun_launcher/Stage0Lib.java b/nailgun_launcher/Stage0Lib.java index 725d7c7..6057c21 100644 --- a/nailgun_launcher/Stage0Lib.java +++ b/nailgun_launcher/Stage0Lib.java @@ -229,4 +229,10 @@ public class Stage0Lib{ copy[array.length] = item; return copy; } + + public static String[] concat( String[] left, String[] right ){ + String[] result = Arrays.copyOf(left, left.length + right.length); + System.arraycopy(right, 0, result, left.length, right.length); + return result; + } } |