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