]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b5e33e0) | patch
Makefile.tpl: Use "-exec rm {}" rather than "-delete" to delete the config.cache...
authorNick Clifton <nickc@gcc.gnu.org>
Wed, 17 Feb 2010 11:01:44 +0000 (11:01 +0000)
committerNick Clifton <nickc@gcc.gnu.org>
Wed, 17 Feb 2010 11:01:44 +0000 (11:01 +0000)
commite50390fc024ab252284c4199227d64bde7a821f9
tree318181b79d2f739848d1563cd6de94fcca05c585tree | snapshot
parentb5e33e042a92c4f005bb7ae62c833c52410140d0commit | diff
Makefile.tpl: Use "-exec rm {}" rather than "-delete" to delete the config.cache files found...

        * Makefile.tpl: Use "-exec rm {}" rather than "-delete" to delete
        the config.cache files found by the find command.

From-SVN: r156828
Makefile.in diff | blob | blame | history
Makefile.tpl diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git