mirror of
https://github.com/waku-org/nwaku.git
synced 2025-02-05 11:34:45 +00:00
12 lines
96 B
Bash
Executable File
12 lines
96 B
Bash
Executable File
#!/bin/bash
|
|
|
|
echo $@
|
|
|
|
die() {
|
|
exit 143; # 128 + 15 -- SIGTERM
|
|
}
|
|
|
|
trap 'die' SIGINT
|
|
|
|
make "$@"
|