post.sh at tip

File build/post.sh from the latest check-in


#! /usr/bin/env bash

set -e

rm -rf build
rm -f autogen.sh

exit 0