#!/bin/sh
#
# Run make config  followed by make after an update 
make -s config
make  -s
