diff options
author | Patrick Simianer <simianer@cl.uni-heidelberg.de> | 2012-06-28 17:53:11 +0200 |
---|---|---|
committer | Patrick Simianer <simianer@cl.uni-heidelberg.de> | 2012-06-28 17:53:11 +0200 |
commit | bace2961c909e2e4b1d35dff349fdbc9d02cb138 (patch) | |
tree | dd90368e7771dea72323962bbb0575c2497cb841 /minrisk/minrisk.pl | |
parent | 3c03e716a8638163a820dbecf652c772e6d651f2 (diff) | |
parent | c84ef9590d11819b7f8441a53b1699a912d949e1 (diff) |
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'minrisk/minrisk.pl')
-rwxr-xr-x | minrisk/minrisk.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/minrisk/minrisk.pl b/minrisk/minrisk.pl index 99893a66..d05b9595 100755 --- a/minrisk/minrisk.pl +++ b/minrisk/minrisk.pl @@ -133,7 +133,7 @@ if ($metric =~ /^ter$|^aer$/i) { my $refs_comma_sep = get_comma_sep_refs('r',$refFiles); unless ($dir){ - $dir = "rampion"; + $dir = "minrisk"; } unless ($dir =~ /^\//){ # convert relative path to absolute path my $basedir = check_output("pwd"); |