#!/bin/sh
exec ../bin/gap.linux32 -m 512m -l ../lib/ -h ../doc/ $*
#gdb: run -m 512m -l ../lib/ -h ../doc/ -g
