@echo off
rem A batch program to clean a particular configuration,
rem just for convenience.

call "%~dp0build.bat" -t Clean %*