bin/amdumpext
changeset 8 69a0459ed8b1
parent 7 29ca93ca12e0
child 9 d176b9443312
--- a/bin/amdumpext	Mon Dec 16 15:27:57 2013 +0100
+++ b/bin/amdumpext	Mon Dec 16 15:29:40 2013 +0100
@@ -133,12 +133,14 @@
 	"@gids (@groups)";
     };
 
-    if ($_ = (grep { -x ($_ .= "/dump") } split /:/ => $ENV{PATH})[0]) {
+    foreach my $tool (qw(dump restore)) {
+    if ($_ = (grep { -x ($_ .= "/$tool") } split /:/ => $ENV{PATH})[0]) {
         chomp(my $version = (`$_ 2>&1`)[0]);
-        OK "dump is $version";
+        OK "$tool is $version";
     }
     else {
-        ERROR "dump not found in $ENV{PATH}";
+        ERROR "$tool not found in $ENV{PATH}";
+    }
     }
 
     # check the device