tree 2467c77ba5819056e40477ea981f0fde738bdc95
parent 725454196afab82f7da7bd719e8bddf7cd7837dd
author Anthony Green <green@moxielogic.com> 1521199713 -0400
committer Anthony Green <green@moxielogic.com> 1521199713 -0400

Run dejagnu's runtest with -a option to prevent travis timeouts after 10min