Projet_SETI_RISC-V/riscv-gnu-toolchain/scripts/wrapper/sed/sed.in
2023-03-06 14:48:14 +01:00

7 lines
221 B
Bash

#!/bin/sh
# We can add the current directory to the front of PATH so that
# sed will invoke gsed (rather than FreeBSD's sed, for example).
# We use this to work around systems with sed != gsed.
exec ${SED:-@GSED@} "$@"