BATCH: Run as, ar, and ranlib with BATCH_CMD so that they execute on the batch hosts, not local host.
BATCH: Run as, ar, and ranlib with BATCH_CMD so that they execute on the batch hosts, not local host.

andrewfu0325/gem5-aladdin,andrewfu0325/gem5-aladdin,andrewfu0325/gem5-aladdin,andrewfu0325/gem5-aladdin,andrewfu0325/gem5-aladdin,andrewfu0325/gem5-aladdin,andrewfu0325/gem5-aladdin