diff options
| author | Alex Williamson <alex.williamson@redhat.com> | 2021-02-22 10:14:24 -0700 |
|---|---|---|
| committer | Alex Williamson <alex.williamson@redhat.com> | 2021-02-22 10:14:24 -0700 |
| commit | 72d6e4871f0457dc9e498f8437ea344ee6b78075 (patch) | |
| tree | 44a6975d7f0818086e34b8e84e3164527fac36f4 /scripts/diffconfig | |
| parent | b9abef43a08ef7faa33477cccb0c08c64eb2b8bf (diff) | |
| parent | 3e10585335b7967326ca7b4118cada0d2d00a2ab (diff) | |
| download | cachepc-linux-72d6e4871f0457dc9e498f8437ea344ee6b78075.tar.gz cachepc-linux-72d6e4871f0457dc9e498f8437ea344ee6b78075.zip | |
Merge commit '3e10585335b7967326ca7b4118cada0d2d00a2ab' into v5.12/vfio/next
Update to new follow_pte() definition
Diffstat (limited to 'scripts/diffconfig')
| -rwxr-xr-x | scripts/diffconfig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/diffconfig b/scripts/diffconfig index 627eba5849b5..d5da5fa05d1d 100755 --- a/scripts/diffconfig +++ b/scripts/diffconfig @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python3 # SPDX-License-Identifier: GPL-2.0 # # diffconfig - a tool to compare .config files. |