diff options
Diffstat (limited to 'data/anal.sh')
| -rwxr-xr-x | data/anal.sh | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/data/anal.sh b/data/anal.sh deleted file mode 100755 index 62806d0..0000000 --- a/data/anal.sh +++ /dev/null @@ -1,21 +0,0 @@ -anal_process avln_s_o_v_t_* -anal_process avln_v_o_v_t_* -anal_process avln_v_d_v_t_* -anal_process cstr_s_o_v_t_* -anal_process cstr_v_o_v_t_* -anal_process cstr_v_d_v_t_* -cen_anal_process damg_s_o_v_t_* -cen_anal_process damg_v_o_v_t_* -cen_anal_process damg_v_d_v_t_* -big_anal_process cond_s_o_v_t_* -big_anal_process cond_v_o_v_t_* -big_anal_process cond_v_d_v_t_* -long_anal_process strs_s_o_v_t_* -long_anal_process strs_v_o_v_t_* -long_anal_process strs_v_d_v_t_* -long_anal_process thrs_s_o_v_t_* -long_anal_process thrs_v_o_v_t_* -long_anal_process thrs_v_d_v_t_* -long_anal_process enrg_s_o_v_t_* -long_anal_process enrg_v_o_v_t_* -long_anal_process enrg_v_d_v_t_* |