From 6d16ae9badb9d769a55085a87524824663bd9501 Mon Sep 17 00:00:00 2001
From: Neels Hofmeyr <neels@hofmeyr.de>
Date: Tue, 4 Sep 2018 14:36:15 +0200
Subject: [PATCH] gen_makefile: mark project name as phony target

---
 gen_makefile.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gen_makefile.py b/gen_makefile.py
index 08779d5..fe255a5 100755
--- a/gen_makefile.py
+++ b/gen_makefile.py
@@ -206,6 +206,7 @@ def gen_make(proj, deps, configure_opts, jobs, make_dir, src_dir, build_dir, url
 	sync
 	touch $@
 
+.PHONY: {proj}
 {proj}: .make.{proj}.install
 
 .PHONY: {proj}-reinstall