diff options
Diffstat (limited to 'Build/source/utils/asymptote/base/plain_strings.asy')
-rw-r--r-- | Build/source/utils/asymptote/base/plain_strings.asy | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Build/source/utils/asymptote/base/plain_strings.asy b/Build/source/utils/asymptote/base/plain_strings.asy index 0fe59ba5a63..598d61e4249 100644 --- a/Build/source/utils/asymptote/base/plain_strings.asy +++ b/Build/source/utils/asymptote/base/plain_strings.asy @@ -83,7 +83,7 @@ string verbatim(string s) } // Split a string into an array of substrings delimited by delimiter -string[] split(string s, string delimiter) +string[] split(string s, string delimiter=" ") { string[] S; int last=0; @@ -100,6 +100,11 @@ string[] split(string s, string delimiter) return S; } +int system(string s) +{ + return system(split(s)); +} + int[] operator ecast(string[] a) { return sequence(new int(int i) {return (int) a[i];},a.length); |