Skip to content

Commit

Permalink
Set memory limits on testspecial tests
Browse files Browse the repository at this point in the history
This is required to let GAP dynamically calculate these
values, based on the user's physical memory
  • Loading branch information
ChrisJefferson committed Jun 1, 2019
1 parent 5d81b55 commit 97e73d6
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion tst/testspecial/run_gap.sh
Original file line number Diff line number Diff line change
Expand Up @@ -12,8 +12,9 @@ gfile="$2"
# 2) Combine stderr and stdout
# 3) Rewrite the root of gap with the string GAPROOT,
# so the output is usable on other machines
# 4) Set lower and upper memory limits, for consistency
GAPROOT=$(cd ../..; pwd)
( echo "LogTo(\"${outfile}.tmp\");" ; cat "$gfile" ; echo "QUIT;" ) |
"$gap" -r -A -b -x 800 2>/dev/null >/dev/null
"$gap" -r -A -b -m 256m -o 512m -x 800 2>/dev/null >/dev/null
sed "s:${GAPROOT//:/\\:}:GAPROOT:g" < "${outfile}.tmp"
rm "${outfile}.tmp"

0 comments on commit 97e73d6

Please sign in to comment.