Fix spurious UNRESOLVED result when size(1) is not in PATH
commit899ee182bf624112002b470ee4055cefe1e7430b
authorJacob Bachmeyer <jcb@gnu.org>
Thu, 20 May 2021 21:35:01 +0000 (20 16:35 -0500)
committerJacob Bachmeyer <jcb@gnu.org>
Thu, 20 May 2021 21:35:01 +0000 (20 16:35 -0500)
tree6d6b1cfc120b85bf359744196099a5ba6ab33db9
parente8d08f039bfd09b513a3e68b5bd54618f0ce5cf6
Fix spurious UNRESOLVED result when size(1) is not in PATH
ChangeLog
lib/dejagnu.exp