diff options
Diffstat (limited to 'org.rtems.cdt.update/copyUpdateSite.sh')
| -rwxr-xr-x | org.rtems.cdt.update/copyUpdateSite.sh | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/org.rtems.cdt.update/copyUpdateSite.sh b/org.rtems.cdt.update/copyUpdateSite.sh deleted file mode 100755 index 75b08e4..0000000 --- a/org.rtems.cdt.update/copyUpdateSite.sh +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/sh - -SRCDIR=$1 -DESTDIR=$2 -COPYCMD="cp -r" - -set -ex - -${COPYCMD} ${SRCDIR}/features ${SRCDIR}/plugins \ - ${SRCDIR}/web ${SRCDIR}/site.xml ${SRCDIR}/index.html \ - ${DESTDIR} |