diff options
| author | Julian Stecklina <julian.stecklina@cyberus-technology.de> | 2024-05-21 14:02:44 +0200 |
|---|---|---|
| committer | Julian Stecklina <julian.stecklina@cyberus-technology.de> | 2024-05-21 14:02:44 +0200 |
| commit | 15ae485eb8384b4bf0abce6beb15130f823254ef (patch) | |
| tree | 4c8fe89c27c2a9f38e03325e0c736c1e82824916 /tools/linux-checkout | |
| parent | 10a64401a24f3f48df5dd4aad21b2cd80366e4bc (diff) | |
Add enter-kernel-dev tool
Diffstat (limited to 'tools/linux-checkout')
| -rwxr-xr-x[-rw-r--r--] | tools/linux-checkout | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/linux-checkout b/tools/linux-checkout index 7069f07..7097ad3 100644..100755 --- a/tools/linux-checkout +++ b/tools/linux-checkout @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash set -eu |