diff options
-rw-r--r-- | Makefile.rules | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.rules b/Makefile.rules index 358c38c1ec..4596c4faff 100644 --- a/Makefile.rules +++ b/Makefile.rules @@ -1096,11 +1096,11 @@ endif ifdef DEBUG_RUNTIME $(ObjectsBC): $(ObjDir)/%.bc: $(ObjDir)/%.ll $(GCCAS) $(Echo) "Compiling $*.ll to $*.bc for $(BuildMode) build (bytecode)" - @$(GCCAS) $< -o $@ + $(Verb) $(GCCAS) $< -o $@ else $(ObjectsBC): $(ObjDir)/%.bc: $(ObjDir)/%.ll $(GCCAS) $(Echo) "Compiling $*.ll to $*.bc for $(BuildMode) build (bytecode)" - @$(GCCAS) -strip-debug $< -o $@ + $(Verb) $(GCCAS) -strip-debug $< -o $@ endif |