diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/sfsnapshot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/sfsnapshot b/tools/sfsnapshot index 68076e3b..b50cf22e 100755 --- a/tools/sfsnapshot +++ b/tools/sfsnapshot | |||
@@ -24,7 +24,7 @@ function make_dist { | |||
24 | 24 | ||
25 | # Get compile server to do the work | 25 | # Get compile server to do the work |
26 | # Variables will be expanded locally before being run on $CF | 26 | # Variables will be expanded locally before being run on $CF |
27 | ssh $CF <<-EOF | 27 | ssh $CF <<EOF |
28 | set -x | 28 | set -x |
29 | PATH=$PATH | 29 | PATH=$PATH |
30 | [[ ! -d $IN/$cvs_rel ]] && mkdir -p $IN/$cvs_rel | 30 | [[ ! -d $IN/$cvs_rel ]] && mkdir -p $IN/$cvs_rel |
@@ -41,7 +41,7 @@ function make_dist { | |||
41 | make dist | 41 | make dist |
42 | 42 | ||
43 | # End ssh | 43 | # End ssh |
44 | EOF | 44 | EOF |
45 | } | 45 | } |
46 | 46 | ||
47 | # Set working variables | 47 | # Set working variables |