OADB/PROOF-INF.OADB/BUILD.sh

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