diff options
author | carlosg <carlosg> | 2007-09-27 22:37:47 +0000 |
---|---|---|
committer | carlosg <carlosg> | 2007-09-27 22:37:47 +0000 |
commit | 2dd3066bbf9eab2abcf846ea63f3928bc7f842a5 (patch) | |
tree | d7445a7cd36e4a8b465d2aceefa81e756a65fb93 /diagnostics.pl | |
parent | 15bad8e4355062a8f9ff3fc99830ffe5c3c50ea8 (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-x | diagnostics.pl | 2 |
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); } |