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)
commit1ffb4b2e2cb2a014b725ce15c12c1e1e9829ca1c
tree9b2f13f336f691a933af5c8245a425a6cc409ace
parentdfb59a37538f8fd727bae352ac4bf9e37b8ad211
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