diff options
Diffstat (limited to 'Makerules')
| -rw-r--r-- | Makerules | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Makerules b/Makerules index 053b46786c..c68395cfd9 100644 --- a/Makerules +++ b/Makerules @@ -620,8 +620,9 @@ check: tests TAGS: distinfo $(..)MakeTAGS $(MAKE) $(addprefix -f ,$^) $@ -$(..)po/%.pot: distinfo $(..)MakeTAGS - $(MAKE) $(addprefix -f ,$^) $@ +$(..)po/%.pot: distinfo $(..)MakeTAGS FORCE + $(MAKE) $(addprefix -f ,$(filter-out FORCE,$^)) $@ +FORCE: .PHONY: echo-headers |