Rev 156 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
#! /bin/sh
make dist-clean ARCH=ppc
make dist-clean ARCH=ppc32