#!/bin/bash
rm -f 0err0
echo "Making 'globtest'..."
rm -f globtest
make globtest 2>0err0
if [ $? -eq 0 ]
then
  echo OK
else
  echo "Error when compiling, see '0err0'."
fi
