Author: biurrun Date: Thu Mar 25 22:50:48 2010 New Revision: 2205 Log: Rename tools/pisa_autobuild --> tools/pisa_autobuild.sh. This ensures that it will end up in the 'make dist' tarball. Added: trunk/tools/pisa_autobuild.sh - copied unchanged from r2204, trunk/tools/pisa_autobuild Deleted: trunk/tools/pisa_autobuild