# File automatically generated by "cdfg2hdl".
# Filename: divider
# Author: Nikolaos Kavvadias (C) 2009, 2010, 2011

#!/bin/bash

make -f divider.mk clean
make -f divider.mk init
make -f divider.mk run

if [ "$SECONDS" -eq 1 ]
then
  units=second
else
  units=seconds
fi
echo "This script has been running for $SECONDS $units."
exit 0