summaryrefslogtreecommitdiff
path: root/diagnostics.pl
diff options
context:
space:
mode:
authorcarlosg <carlosg>2007-09-27 22:37:47 +0000
committercarlosg <carlosg>2007-09-27 22:37:47 +0000
commit2dd3066bbf9eab2abcf846ea63f3928bc7f842a5 (patch)
treed7445a7cd36e4a8b465d2aceefa81e756a65fb93 /diagnostics.pl
parent15bad8e4355062a8f9ff3fc99830ffe5c3c50ea8 (diff)
2007-09-28 Carlos Garnacho <carlosg@gnome.org>
* Utils/Backend.pm (print_platform_list): Added, prints supported platforms. (init): parse --platform-list * diagnostics.pl: put that in the help blurb.
Diffstat (limited to 'diagnostics.pl')
-rwxr-xr-xdiagnostics.pl2
1 files changed, 1 insertions, 1 deletions
diff --git a/diagnostics.pl b/diagnostics.pl
index 3096246..60f6ed0 100755
--- a/diagnostics.pl
+++ b/diagnostics.pl
@@ -90,7 +90,7 @@ sub print_config
if (!$Utils::Backend::tool{"platform"})
{
- print "No platform detected, try --platform <platform>\n";
+ print "No platform detected, try --platform <platform> or --list-platforms to see which are the supported platforms\n";
exit (-1);
}