#!/bin/sh

32-batch-gcc444.sh
64-batch-gcc444.sh