diff options
author | Tobias Bosch <tbosch@google.com> | 2019-10-14 11:36:17 -0700 |
---|---|---|
committer | android-build-merger <android-build-merger@google.com> | 2019-10-14 11:36:17 -0700 |
commit | 61b8a2052c5f19257b3effcc99b84115b8e85b0b (patch) | |
tree | 1cbdbbb3a3fe91fa8e37fb79ff13fa2f24970b0d /dejagnu | |
parent | 895c8a0e0f9e1b15581b90a5ee37a32593dd6704 (diff) | |
parent | f1eb05a1b365538ac6fbd3df07b472159a67e97c (diff) | |
download | toolchain-utils-61b8a2052c5f19257b3effcc99b84115b8e85b0b.tar.gz |
Merging 10 commit(s) from Chromium's toolchain-utils am: 1836d05354 am: b16c680524
am: f1eb05a1b3
Change-Id: Id519f2a103a50c659958b9cdc316f8faf209fc3b
Diffstat (limited to 'dejagnu')
-rwxr-xr-x | dejagnu/gdb_dejagnu.py | 2 | ||||
-rwxr-xr-x | dejagnu/run_dejagnu.py | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/dejagnu/gdb_dejagnu.py b/dejagnu/gdb_dejagnu.py index eb298e6a..91fa51fd 100755 --- a/dejagnu/gdb_dejagnu.py +++ b/dejagnu/gdb_dejagnu.py @@ -1,4 +1,4 @@ -#! /usr/bin/python +#!/usr/bin/python2 # Copyright (c) 2013 The Chromium OS Authors. All rights reserved. # Use of this source code is governed by a BSD-style license that can be diff --git a/dejagnu/run_dejagnu.py b/dejagnu/run_dejagnu.py index b4cbc8f4..7b6e6fa3 100755 --- a/dejagnu/run_dejagnu.py +++ b/dejagnu/run_dejagnu.py @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/python2 # # Copyright 2010 Google Inc. All Rights Reserved. """Tool script for auto dejagnu.""" |