From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 9 Feb 2016 04:47:10 +0000 (-0800)
Subject: pintos: Avoid literal control character in Perl variable name.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=fd2a5afa946474ba0839de0e9da238dbaecbd6a5;hp=fd2a5afa946474ba0839de0e9da238dbaecbd6a5

pintos: Avoid literal control character in Perl variable name.

Modern versions of Perl prefer a caret in variable names over literal
control characters and issue a warning if the control character is used.
This fixes the warning.
---