mirror of
https://github.com/brl/mutter.git
synced 2025-02-18 22:24:10 +00:00

Bash is not always installed in /bin and we should not hardcode the path of it in source code which is expected to be built on many operating systems and distributions. Since most scripts using #!/bin/bash here doesn't have any bashism, they can be converted to #!/bin/sh instead of using /usr/bin/env trick.
7 lines
126 B
Bash
Executable File
7 lines
126 B
Bash
Executable File
#!/bin/sh
|
|
|
|
inputfile="$1"
|
|
outputfile="$2"
|
|
|
|
nm "$inputfile" | grep '[DR] _\?unit_test_'|sed 's/.\+ [DR] _\?//' > "$outputfile"
|