diff options
| author | Matthias Andreas Benkard <matthias@benkard.de> | 2008-08-23 23:49:55 +0200 |
|---|---|---|
| committer | Matthias Andreas Benkard <matthias@benkard.de> | 2008-08-23 23:49:55 +0200 |
| commit | b0ea8b4cd62a40cf3324fae5dec79c4866491c70 (patch) | |
| tree | d712e790661eed04d3372c7a3e91238f05e3a290 | |
| parent | 8e704379e8655c2a59200042894fe55d0d82f279 (diff) | |
GNUmakefile: Relink the “toilet” executable when libtoilet-llvm.a is updated.
| -rw-r--r-- | GNUmakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index c44f27a..3545e89 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -152,7 +152,7 @@ before-all:: before-etshell before-toilet # _stamp.mm serves two distinct purposes. First, it causes toilet to be # relinked whenever one of the $(KIT_TARGETS) has been updated, and # second, it causes toilet to be linked with g++. -_stamp.mm: #$(KIT_TARGETS) +_stamp.mm: obj/libtoilet-llvm.a touch $@ before-etshell:: ToiletKit |