#!/bin/sh

echo >>$INSTALL_LOG "$0 $@"

