diff options
| author | Ian Lynagh <igloo@earth.li> | 2011-11-19 01:29:05 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2011-11-19 01:52:32 +0000 |
| commit | 80e9070c77718b7ff0e913182e54842754726ce8 (patch) | |
| tree | 12804916372a3675a7d1beb00bd41e70083c5edf /docs/man | |
| parent | 042841713eb6468696eeb437de994c52eb7a858e (diff) | |
| download | haskell-80e9070c77718b7ff0e913182e54842754726ce8.tar.gz | |
Improve the way we call "rm" in the build system; fixes trac #4916
We avoid calling "rm -rf" with no file arguments; this fixes cleaning
on Solaris, where that fails.
We also check for suspicious arguments: anything containing "..",
starting "/", or containing a "*" (you need to call $(wildcard ...)
yourself now if you really want globbing). This should make things
a little safer.
Diffstat (limited to 'docs/man')
| -rw-r--r-- | docs/man/ghc.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/man/ghc.mk b/docs/man/ghc.mk index 96fef2dbf6..0c1014b452 100644 --- a/docs/man/ghc.mk +++ b/docs/man/ghc.mk @@ -30,7 +30,7 @@ docs/man/flags.xsl: docs/man/gen_flags.xsl.sh # Re-use the flags documentation from the user's guide by injecting some # entities after the XML declaration to make it a stand-alone document. docs/man/flags.xml: docs/users_guide/flags.xml - "$(RM)" $(RM_OPTS) $@ + $(call removeFiles,$@) head -n 1 $< >> $@ echo "<!DOCTYPE sect1 [<!ENTITY ndash \"-\"> \ <!ENTITY ldquo \"\`\"> \ |