diff --git a/util/ceg/util/make_as b/util/ceg/util/make_as index 2f590d56..473287c5 100644 --- 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 53c5e36a..335b2089 100644 --- 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 1998c47c..c1b17071 100644 --- 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