diff options
Diffstat (limited to 'home/dot_local/share/bin/executable_dbg')
| -rw-r--r-- | home/dot_local/share/bin/executable_dbg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/home/dot_local/share/bin/executable_dbg b/home/dot_local/share/bin/executable_dbg index d042ba5..7976162 100644 --- a/home/dot_local/share/bin/executable_dbg +++ b/home/dot_local/share/bin/executable_dbg @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env sh GDB="arm-none-eabi-gdb" found_executable=false |