IN="$(mktemp --suffix .adb)" OUT="$(mktemp)" cat > "$IN" gnatmake "$IN" -o "$OUT" -w -gnatws if [ -f $OUT ] && ! [ -s $OUT ]; then exec "$OUT" fi