diff options
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile index c637f6f..e9fbdc3 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -152,8 +152,13 @@ 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++. +ifeq ($(USE_LLVM),YES) _stamp.mm: obj/libtoilet-llvm.a touch $@ +else +_stamp.mm: + touch $@ +endif before-etshell:: ToiletKit rm -f obj/etshell |