adaefb41c47c8ed44b75ad2793770bae5070e71b hiram Fri Jun 18 20:36:26 2010 -0700 last bunch of makefiles that need a clean target diff --git src/utils/gitTools/makefile src/utils/gitTools/makefile index 2fdb801..9bdf5cf 100755 --- src/utils/gitTools/makefile +++ src/utils/gitTools/makefile @@ -16,3 +16,6 @@ chmod a+rx $< rm -f $@ cp -pf $< $@ + +clean:: + @echo nothing to clean in src/utils/gitTools/