mirror of
https://github.com/logos-messaging/logos-messaging-nim.git
synced 2026-01-03 06:23:10 +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 "$@"
|