From 759644f06199c28abcd618c139c59bba8ecccc81 Mon Sep 17 00:00:00 2001 From: bebbo Date: Sat, 18 Feb 2017 19:09:56 +0100 Subject: [PATCH] @B only remove the make stamps --- common.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/common.py b/common.py index cf7d796..c61d25b 100644 --- a/common.py +++ b/common.py @@ -368,7 +368,7 @@ def recipe(name, nargs=0): mfile = mf mmax = mt if mmax > os.stat(stamp).st_mtime: - mstamp = path.join('{stamps}', mtarget + '*') + mstamp = path.join('{stamps}', mtarget + '-make*') info('removing stamp for "%s"', mstamp) for f in glob.glob(mstamp): remove(f)