diff options
Diffstat (limited to '')
| -rwxr-xr-x | home/.local/bin/def | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/home/.local/bin/def b/home/.local/bin/def index ea8b9536..6a1681d3 100755 --- a/home/.local/bin/def +++ b/home/.local/bin/def @@ -42,6 +42,6 @@ for header in $headers; do | tail -n 1 ) [ $? -ne 0 -o "$defined" = "$macro" ] && continue - echo "#include <$header>" + echo "#include <${header}>" echo "$defined" done |