gdbarch.sh   [plain text]