#!/bin/bash

echo "Installing the 'repstr' utility..."

if [ -x repstr ]
then
  cp repstr /usr/local/bin/repstr
  echo OK
else
  echo "'repstr' not found, first run the scripts 'mk' and 'save'"
  echo "in the directory 'build-linux'."
fi
