view clean @ 4287:152f3b514618

Merge
author Gilles Duboscq <gilles.m.duboscq@gmail.com>
date Tue, 17 Jan 2012 13:43:19 +0100
parents 6223633ce7dd
children
line wrap: on
line source

#!/bin/bash
pushd make
LANG=C ARCH_DATA_MODEL=64 HOTSPOT_BUILD_JOBS=16 make clean
popd