diff options
| author | Simon Marlow <marlowsd@gmail.com> | 2009-05-14 10:56:45 +0000 |
|---|---|---|
| committer | Simon Marlow <marlowsd@gmail.com> | 2009-05-14 10:56:45 +0000 |
| commit | cd12c32de77ac18a69ed1733a558095567ec5ba8 (patch) | |
| tree | d67caa869c9f03da14992868f072a6b8eb40763d /rules | |
| parent | e4b74d50df90bfdd78e279e4d29232648ca22180 (diff) | |
| download | haskell-cd12c32de77ac18a69ed1733a558095567ec5ba8.tar.gz | |
make repeated 'make distclean' not fail
Diffstat (limited to 'rules')
| -rw-r--r-- | rules/build-prog.mk | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rules/build-prog.mk b/rules/build-prog.mk index 8f01e66b7b..8397f3fb73 100644 --- a/rules/build-prog.mk +++ b/rules/build-prog.mk @@ -128,10 +128,13 @@ endif $(call all-target,$1_$2,$$($1_$2_INPLACE)) $(call clean-target,$1,$2_inplace,$$($1_$2_INPLACE)) +# INPLACE_BIN might be empty if we're distcleaning +ifneq "$$(INPLACE_BIN)" "" $$($1_$2_INPLACE) : $1/$2/build/tmp/$$($1_$2_PROG) $$(MKDIRHIER) $$(MKDIRHIER) $$(dir $$@) $$(CP) -p $$< $$@ touch $$@ +endif # touch is necessary; cp doesn't update the file time. endif |