diff options
Diffstat (limited to 'testshl2/workben/codegen/cleanup')
| -rw-r--r-- | testshl2/workben/codegen/cleanup | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/testshl2/workben/codegen/cleanup b/testshl2/workben/codegen/cleanup deleted file mode 100644 index a3fb82312cdf..000000000000 --- a/testshl2/workben/codegen/cleanup +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/csh - -# cleanup -rm -f *.cxx *.new *.exp - -if ( -e makefile.mk_orig ) then - rm -f makefile.mk - # rename original makefile back - mv makefile.mk_orig makefile.mk -endif |