diff options
Diffstat (limited to 'GNUmakefile')
| -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 |