#!/bin/sh

make -s -C corec/tools/coremake
mv -f corec/tools/coremake/coremake .
coremake_param=`corec/tools/coremake/system_output.sh`

echo "Running ./coremake" $coremake_param
./coremake $coremake_param

echo "Now you can run make -C mkvalidator or gmake -C mkvalidator"
