Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
BuildPackages.sh: tweak how GAP is invoked
... to determine package names. Namely, add back the -r command line option for GAP we recently removed, and instead add --bare to achieve a similar effect: namely to allow starting GAP with the required packages smallgrp etc. not present in the pkg directory of the primary GAP root
- Loading branch information