IN="$(mktemp --suffix .adb)" OUT="$(mktemp)" cat > "$IN" gnatmake "$IN" -o "$OUT" -gnatws if [ $? -eq 0 ]; then exec "$OUT" fi
