#!/bin/bash

echo "Saving 'repstr' to '../bin/linux'..."

if [ -x repstr ]
then
  if [ -x ../bin/linux/repstr ]
  then
    rm -f ../bin/linux/repstr_bak
    mv ../bin/linux/repstr ../bin/linux/repstr_bak
  fi
  cp repstr ../bin/linux/repstr
  echo OK
else
  echo "*** Error: 'repstr' not found, run the script 'mk' first."
fi

