Home | History | Annotate | Download | only in bugpoint

Lines Matching refs:PROGRAM

3 # Program:  RemoteRunSafely.sh
5 # Synopsis: This script simply runs another program remotely using ssh.
6 # It always returns the another program exit code or exit with
7 # code 255 which indicates that the program could not be executed.
12 # <program> <args...>
15 # <hostname> is the remote host to execute the program,
18 # <program> is the path to the program to run,
19 # <args...> are the arguments to pass to the program.
26 "<program> <args...>"
69 PROGRAM=$(basename $1)
76 #DEBUG: echo 'PROGRAM='$PROGRAM
81 if [ "$RHOST" = "" -o "$PROGRAM" = "" ]; then
85 # Local program file must exist and be execuatble
86 local_program=$WORKING_DIR"/"$PROGRAM
93 remote="./"$PROGRAM