-# Copyright 2004, 2007
+# Copyright 2004, 2007, 2009
# Free Software Foundation, Inc.
# This program is free software; you can redistribute it and/or modify
return
}
-if {[which $OBJDUMP] == 0} then {
+if {![is_remote host] && [which $OBJDUMP] == 0} then {
perror "$OBJDUMP does not exist"
return
}