CORRFW/PROOF-INF.CORRFW/BUILD.sh

   1 #! /bin/sh
   2
   3 if [ "" = "clean" ]; then
   4    make clean
   5    exit 0
   6 fi
   7
   8 make
   9
  10 rc=$?
  11 echo "rc=$?"
  12 if [ $? != "0" ] ; then
  13    exit 1
  14 fi
  15 exit 0