Skip to content

Commit

Permalink
Browse files Browse the repository at this point in the history
Merge pull request #583 from donaldh/noisy
Fix noisy Configure.pl on JVM backend.
  • Loading branch information
jnthn committed Nov 12, 2015
2 parents 25f032a + d510899 commit 3b15628
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions Configure.pl
Expand Up @@ -124,8 +124,8 @@
}

$config{prefix} = $prefix;
$config{sdkroot} = $options{sdkroot};
$config{sysroot} = $options{sysroot};
$config{sdkroot} = $options{sdkroot} || '';
$config{sysroot} = $options{sysroot} || '';
$config{slash} = $slash;
$config{'makefile-timing'} = $options{'makefile-timing'};
$config{'stagestats'} = '--stagestats' if $options{'makefile-timing'};
Expand Down

0 comments on commit 3b15628

Please sign in to comment.