diff options
author | Dana Robinson <43805+derobins@users.noreply.github.com> | 2023-06-07 15:08:33 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-06-07 15:08:33 (GMT) |
commit | 37efa90085f6c34db6d5947f3320c3d519ee3653 (patch) | |
tree | 8991488b2082e2538143089775db861b4d7cd64e /bin/deploy | |
parent | 8304ce006ed06807545a15998bbe782c663afd2f (diff) | |
download | hdf5-37efa90085f6c34db6d5947f3320c3d519ee3653.zip hdf5-37efa90085f6c34db6d5947f3320c3d519ee3653.tar.gz hdf5-37efa90085f6c34db6d5947f3320c3d519ee3653.tar.bz2 |
Remove unused cruft from bin dir (#3071)
Diffstat (limited to 'bin/deploy')
-rwxr-xr-x | bin/deploy | 57 |
1 files changed, 0 insertions, 57 deletions
diff --git a/bin/deploy b/bin/deploy deleted file mode 100755 index 818fa07..0000000 --- a/bin/deploy +++ /dev/null @@ -1,57 +0,0 @@ -#!/bin/sh -# -# Copyright by The HDF Group. -# All rights reserved. -# -# This file is part of HDF5. The full HDF5 copyright notice, including -# terms governing use, modification, and redistribution, is contained in -# the COPYING file, which can be found at the root of the source code -# distribution tree, or in https://www.hdfgroup.org/licenses. -# If you do not have access to either file, you may request a copy from -# help@hdfgroup.org. -# -# Deploy the HDF5 binary. -# -# Programmer: Albert Cheng -# Created Date: 2004/12/15 -# -# Modifications - -# Function definitions -# -# Print Usage page -USAGE() -{ -cat << EOF -Usage: $0 <dir> - Install the binary to directory <dir> - -Examples: - - $ bin/deploy /usr/local/hdf5 - .... - -EOF - -} - - -# Variables - -if [ $# != 1 ]; then - USAGE - exit 1 -fi - -installdir=$1 -# create installdir if it does not exist yet. -if [ -d $installdir ] || mkdir $installdir ; then - ${MAKE:-gmake} install prefix=$installdir && \ - ( cd $installdir/bin; ./h5redeploy -force) - exit $? -else - echo $installdir is not a valid directory - USAGE - exit 1 -fi - |