diff options
author | Moritz Lenz <moritz@faui2k3.org> | 2014-04-18 14:42:22 +0200 |
---|---|---|
committer | Moritz Lenz <moritz@faui2k3.org> | 2014-04-18 14:42:22 +0200 |
commit | 4d33dbcf8cb0dc8ed9d4aa464738b1b792997c02 (patch) | |
tree | 4890414903bf8fb7f626b192b7ffd89eba0844ef | |
parent | 6abe2713befff14db838580e55277bedde39df5a (diff) |
[Configure.pl] support --backends=all
-rw-r--r-- | Configure.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Configure.pl b/Configure.pl index 0611b5f..c6cef50 100644 --- a/Configure.pl +++ b/Configure.pl @@ -72,6 +72,8 @@ MAIN: { } my %backends; if (defined $options{backends}) { + $options{backends} = 'moar,jvm,parrot' + if lc($options{backends}) eq 'all'; for my $b (split /,\s*/, $options{backends}) { $b = lc $b; unless ($known_backends{$b}) { |