#!/bin/sh

echo "cp $DEVDIR/gc/gc-7.1.tar.gz ."
cp $DEVDIR/gc/gc-7.1.tar.gz .