mirror of
https://github.com/logos-messaging/logos-messaging-nim.git
synced 2026-01-10 18:03:11 +00:00
11 lines
95 B
Bash
Executable File
11 lines
95 B
Bash
Executable File
#!/bin/bash
|
|
|
|
echo $@
|
|
|
|
die() {
|
|
exit 143; # 128 + 15 -- SIGTERM
|
|
}
|
|
|
|
trap 'die' SIGINT
|
|
|
|
make "$@" |