#! /bin/sh
exec "`dirname \"$0\"`"/do-all 'chmod a-x $g/config'