be a bit more precise in cleanup

diff --git a/util/ceg/util/make_as b/util/ceg/util/make_as
index 2f590d5..473287c 100644 (file)
--- a/util/ceg/util/make_as
+++ b/util/ceg/util/make_as
@@ -27,7 +27,7 @@ all:  back ceg ce
        make -f ce_makefile ce.a
 
 clean:
-       rm -rf ce back ceg *.a Out
+       rm -rf ce back ceg ce.a back.a Out
 
 dclean:
        rm -rf ce back ceg Out

diff --git a/util/ceg/util/make_obj b/util/ceg/util/make_obj
index 53c5e36..335b208 100644 (file)
--- a/util/ceg/util/make_obj
+++ b/util/ceg/util/make_obj
@@ -27,7 +27,7 @@ all:    back ceg ce
         make -f ce_makefile ce.a
          
 clean:
-        rm -rf ce back ceg *.a Out 
+        rm -rf ce back ceg ce.a back.a Out 
          
 dclean:
         rm -rf ce back ceg Out

diff --git a/util/ceg/util/make_own b/util/ceg/util/make_own
index 1998c47..c1b1707 100644 (file)
--- a/util/ceg/util/make_own
+++ b/util/ceg/util/make_own
@@ -24,10 +24,10 @@ all:    back ceg ce
         make -f ce_makefile ce.a
          
 clean:
-        rm -rf ce back ceg *.a Out 
+        rm -rf ce ceg ce.a back.a Out 
          
 dclean:
-        rm -rf ce back ceg Out
+        rm -rf ce ceg Out
 
 ce : ceg/ceg
        mkdir ce