diff options
| -rw-r--r-- | .editorconfig | 4 | ||||
| -rwxr-xr-x | build-aux/valgrind | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/.editorconfig b/.editorconfig index 47bf81b..dedd350 100644 --- a/.editorconfig +++ b/.editorconfig @@ -45,10 +45,10 @@ _mode = gitignore # By specific filename (non-lib9p) ############################################# -[build-aux/embed-sources.h.gen] +[{build-aux/embed-sources.h.gen,build-aux/valgrind}] _mode = sh -[{build-aux/lint-{src,bin},build-aux/valgrind,build-aux/gcov-prune,libusb/include/libusb/tusb_helpers.h.gen}] +[{build-aux/lint-{src,bin},build-aux/gcov-prune,libusb/include/libusb/tusb_helpers.h.gen}] _mode = bash [build-aux/stack.c.gen] diff --git a/build-aux/valgrind b/build-aux/valgrind index 8fe7c6e..0700e4d 100755 --- a/build-aux/valgrind +++ b/build-aux/valgrind @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/bin/sh # build-aux/valgrind - Wrapper around valgrind to keep flags consistent # # Copyright (C) 2025 Luke T. Shumaker <lukeshu@lukeshu.com> |