aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/tomo.c3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/tomo.c b/src/tomo.c
index 6741374a..9d3f6533 100644
--- a/src/tomo.c
+++ b/src/tomo.c
@@ -376,6 +376,9 @@ int main(int argc, char *argv[]) {
}
}
+ // When running files, if `--verbose` is not set, then don't print "compiled to ..." messages
+ if (!verbose) quiet = true;
+
run_files = normalize_tm_paths(run_files);
for (int64_t i = 0; i < (int64_t)run_files.length; i++) {
Path_t path = *(Path_t *)(run_files.data + i * run_files.stride);