#!/bin/bash -ux
# $Id: //guest/daniel_kionka/bootstrap/sample1/config/run-bootstrap-user.bash#2 $
#
# This script runs a build with bootstrap. It can be used by any user
# who creates a config file. It does a cd for cron jobs.
cd $(dirname $0)
time ../../bin/build-bootstrap.pl ./config-${LOGNAME:-$USER}.rc