diff options
author | Matthias Andreas Benkard <matthias@benkard.de> | 2008-08-25 10:50:56 +0200 |
---|---|---|
committer | Matthias Andreas Benkard <matthias@benkard.de> | 2008-08-25 10:50:56 +0200 |
commit | b268ec5ec85fd6da735491a8fbc7560037e613b5 (patch) | |
tree | 85b454b95b572ad8a4c44ed706473d3fd2d760a9 | |
parent | 49b7709420e7d78ed3797bf1520b832468d7a464 (diff) |
GNUmakefile: Restore the possibility of compiling without LLVM.
-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 |