chiark / gitweb /
Makefile: Introduce MAKEFILE_DEP
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 21 Mar 2021 11:01:09 +0000 (11:01 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 21 Mar 2021 11:06:05 +0000 (11:06 +0000)
commit3a3b46e95cbafd38c9a92a1ec2b99565bd40dca7
tree68d606dbd0c3f19aadfea6308f73d8e2a20e5933
parent523cf39e26199fbe7b021f9a3537b92c2af4bdb6
Makefile: Introduce MAKEFILE_DEP

This lets us say MAKEFILE_DEP='' to avoid unwanted rebuilding, while
we are editing the Makefile itself.

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