#!/bin/sh

echo "post_build_distini_etc.sh: Hello, world!"