#!/bin/bash

cp -v grit media/Grit.linux.x86_64
cp -v gsl media/Tools/gsl.linux.x86_64
cp -v extract media/Tools/extract.linux.x86_64
cp -v grit_col_conv media/Tools/extract.linux.x86_64
cp -v GritXMLConverter media/Tools/GritXMLConverter.x86_64

Add script for easy copying of executables to media
Add script for easy copying of executables to media
