summaryrefslogtreecommitdiff
path: root/Build/source/utils/asymptote/base/plain.asy
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/utils/asymptote/base/plain.asy')
-rw-r--r--Build/source/utils/asymptote/base/plain.asy4
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/utils/asymptote/base/plain.asy b/Build/source/utils/asymptote/base/plain.asy
index 4d0b4e566fb..76f77aaf52c 100644
--- a/Build/source/utils/asymptote/base/plain.asy
+++ b/Build/source/utils/asymptote/base/plain.asy
@@ -190,8 +190,7 @@ void usersetting()
// Conditionally process each file name in array s in a new environment.
void asy(string format, bool overwrite=false ... string[] s)
{
- for(int i=0; i < s.length; ++i) {
- string f=s[i];
+ for(string f : s) {
int n=rfind(f,".asy");
if(n != -1) f=erase(f,n,-1);
if(overwrite || error(input(f+"."+format,check=false))) {
@@ -201,6 +200,7 @@ void asy(string format, bool overwrite=false ... string[] s)
settings.outformat=format;
settings.interactiveView=false;
settings.batchView=false;
+ delete(outname()+"_"+".aux");
eval("defaultfilename=\""+f+"\"; import \""+f+
"\" as dummy; exitfunction()");
settings.outformat=outformat;