aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMoritz Lenz <moritz@faui2k3.org>2014-04-18 14:42:22 +0200
committerMoritz Lenz <moritz@faui2k3.org>2014-04-18 14:42:22 +0200
commit4d33dbcf8cb0dc8ed9d4aa464738b1b792997c02 (patch)
tree4890414903bf8fb7f626b192b7ffd89eba0844ef
parent6abe2713befff14db838580e55277bedde39df5a (diff)
[Configure.pl] support --backends=all
-rw-r--r--Configure.pl2
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}) {