chiark / gitweb /
build system: Do not use autoconf's `rm'
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 14 Nov 2019 00:36:38 +0000 (00:36 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 14 Nov 2019 00:38:00 +0000 (00:38 +0000)
This is /bin/rm.  But make's builtin is `rm -f' which is better.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

No differences found