Index: src/trusted/validator_mips/dgen/dgen_input.py |
diff --git a/src/trusted/validator_mips/dgen/dgen_input.py b/src/trusted/validator_mips/dgen/dgen_input.py |
index 186dd5b081c3d0bb7eab7b692195b4668c855a40..ca2ac67ff7a6c1d1f0570dcc9cf2df96758acf49 100755 |
--- a/src/trusted/validator_mips/dgen/dgen_input.py |
+++ b/src/trusted/validator_mips/dgen/dgen_input.py |
@@ -1,4 +1,4 @@ |
-#!/usr/bin/python |
+#!/usr/bin/env python |
# Copyright (c) 2012 The Native Client Authors. All rights reserved. |
# Use of this source code is governed by a BSD-style license that can be |
# found in the LICENSE file. |