diff options
Diffstat (limited to 'config/unix.exp')
-rw-r--r-- | config/unix.exp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/config/unix.exp b/config/unix.exp index c8263d7..2de2299 100644 --- a/config/unix.exp +++ b/config/unix.exp @@ -4,12 +4,12 @@ # it under the terms of the GNU General Public License as published by # the Free Software Foundation; either version 2 of the License, or # (at your option) any later version. -# +# # This program is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY; without even the implied warranty of # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the # GNU General Public License for more details. -# +# # You should have received a copy of the GNU General Public License # along with this program; if not, write to the Free Software # Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. @@ -90,7 +90,7 @@ proc unix_load { dest prog args } { setenv LD_LIBRARY_PATH $orig_ld_library_path setenv SHLIB_PATH $orig_ld_library_path } - } else { + } else { set remotefile "/tmp/[file tail $prog].[pid]" set remotefile [remote_download $dest $prog $remotefile] if { $remotefile == "" } { @@ -123,7 +123,7 @@ proc unix_load { dest prog args } { set output [lindex $status 1] set status [lindex $status 0] } - + setenv LD_LIBRARY_PATH $orig_ld_library_path setenv SHLIB_PATH $orig_ld_library_path |