diff options
Diffstat (limited to 'src/ToolBox/SOS/tests/OnCrash.do')
-rw-r--r-- | src/ToolBox/SOS/tests/OnCrash.do | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/ToolBox/SOS/tests/OnCrash.do b/src/ToolBox/SOS/tests/OnCrash.do new file mode 100644 index 0000000000..b1da86154a --- /dev/null +++ b/src/ToolBox/SOS/tests/OnCrash.do @@ -0,0 +1,2 @@ +script open("/tmp/flag_fail", "a").close() +q |