#!/bin/sh
set -e
cd "$(dirname "$0")"
echo "+ cc -o df0638 df0638.c"
cc -o df0638 df0638.c
ls -l df0638