@echo off
rem A batch program to clean a particular configuration,
rem just for convenience.
call %~dp0build.bat -t Clean %*
