From a7c35665a5b092eab1f4be159bd3f1e43f038283 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Wed, 11 Oct 2017 01:38:29 -0700 Subject: 4013 --- subx/clean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'subx/clean') diff --git a/subx/clean b/subx/clean index 39593221..5243f243 100755 --- a/subx/clean +++ b/subx/clean @@ -1,6 +1,6 @@ #!/bin/sh set -v -rm -rf subx.cc subx *_list subx.core *.dSYM +rm -rf subx.cc subx_bin* *_list test $# -gt 0 && exit 0 # convenience: 'clean top-level' to leave subsidiary tools alone rm -rf ../enumerate/enumerate ../tangle/tangle ../tangle/*_list ../*/*.dSYM -- cgit 1.4.1-2-gfad0