pintos: Avoid literal control character in Perl variable name.
authorBen Pfaff <blp@cs.stanford.edu>
Tue, 9 Feb 2016 04:47:10 +0000 (20:47 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Tue, 9 Feb 2016 04:47:10 +0000 (20:47 -0800)
commitfd2a5afa946474ba0839de0e9da238dbaecbd6a5
tree2945a7471e7d799a0fcfb8ccf42f5e0a3ec9e312
parent161bf03beb0aae6ad38aa884cd534a94737d396a
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.
src/utils/pintos