From: John Darrington Date: Sat, 29 Jun 2013 09:20:25 +0000 (+0200) Subject: Avoid unexpected failures in check-valgrind due to XTERM_LOCALE X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1ad157fcdfc62c0751b03c2781e3c2c0bd193c60;hp=1ad157fcdfc62c0751b03c2781e3c2c0bd193c60;p=pspp Avoid unexpected failures in check-valgrind due to XTERM_LOCALE ---