Commit 27d31130cabfe82683fc0e3e82247fd522f45607

Anthony Green 2019-11-18T15:06:51

Fix DEJAGNU variable