#!/bin/bash
DEFS=./Makefile.defs
rm -f $DEFS
echo "MAKE = make -s" >> $DEFS