diff options
Diffstat (limited to 'util')
| -rwxr-xr-x | util/gem5img.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/util/gem5img.py b/util/gem5img.py index f02ccb105..607f034e2 100755 --- a/util/gem5img.py +++ b/util/gem5img.py @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/python2.7 # # gem5img.py # Script for managing a gem5 disk image. |