civrun 201 B

12345678
  1. #!/usr/bin/env bash
  2. DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
  3. $DIR/civcc -o _tmp.s $* &&
  4. $DIR/civas -o _tmp.out _tmp.s &&
  5. $DIR/civvm _tmp.out
  6. ret_val=$?
  7. rm -f _tmp.s _tmp.out
  8. exit $ret_val