From f082c7c5cf72296566dcf92bba4fcb4c95f2186f Mon Sep 17 00:00:00 2001 From: Thomas Petazzoni Date: Wed, 31 Aug 2011 23:35:02 +0200 Subject: support: move scripts/ to a new support/ directory Signed-off-by: Thomas Petazzoni Signed-off-by: Peter Korsgaard --- scripts/copy.sh | 20 -------------------- 1 file changed, 20 deletions(-) delete mode 100755 scripts/copy.sh (limited to 'scripts/copy.sh') diff --git a/scripts/copy.sh b/scripts/copy.sh deleted file mode 100755 index 508ed56af..000000000 --- a/scripts/copy.sh +++ /dev/null @@ -1,20 +0,0 @@ -#!/bin/sh - -STAGING_DIR=$1 -TARGET_DIR=$2 - -echo "Copying development files to target..." - -cp -af ${STAGING_DIR}/usr/include ${TARGET_DIR}/usr - -for LIBSDIR in /lib /usr/lib; do - for WILDCARD in *.a *.la; do - for FILE_PATH in `find ${STAGING_DIR}${LIBSDIR} -name ${WILDCARD}`; do - STAGING_STRIPPED=${FILE_PATH##${STAGING_DIR}} - EXTENDED_DIR=${STAGING_STRIPPED%/${WILDCARD}} - mkdir -p ${TARGET_DIR}${EXTENDED_DIR} - cp -fa ${FILE_PATH} ${TARGET_DIR}${STAGING_STRIPPED} - #echo ${TARGET_DIR}${STAGING_STRIPPED} - done - done -done -- cgit v1.2.3-55-g7522