diff options
Diffstat (limited to 'runtime')
| -rw-r--r-- | runtime/bin/mono-hang-watchdog.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/runtime/bin/mono-hang-watchdog.in b/runtime/bin/mono-hang-watchdog.in new file mode 100644 index 00000000000..9862038fccb --- /dev/null +++ b/runtime/bin/mono-hang-watchdog.in @@ -0,0 +1,3 @@ +#! /bin/sh +r='@mono_build_root@' +exec "$r/tools/mono-hang-watchdog/mono-hang-watchdog" "$@"
\ No newline at end of file |