view clean @ 4250:0d28d08e1911

Merge
author Gilles Duboscq <gilles.m.duboscq@gmail.com>
date Mon, 09 Jan 2012 16:09:41 +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