fixes for configure -q

arminbiere · Oct 2, 2023 · 1bf7324 · 1bf7324
1 parent 38950ca
commit 1bf7324
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/src/file.cpp b/src/file.cpp
@@ -256,6 +256,9 @@ FILE *File::write_pipe (Internal *internal, const char *command,
                         const char *path, int &child_pid) {
   assert (command[0] && command[0] != ' ');
   MSG ("writing through command '%s' to '%s'", command, path);
+#ifdef QUIET
+  (void) internal;
+#endif
   std::vector<char *> args;
   split_str (command, args);
   assert (!args.empty ());

diff --git a/src/tracer.cpp b/src/tracer.cpp
@@ -410,10 +410,10 @@ void Tracer::flush (bool print) {
   file->flush ();
 #ifndef QUIET
   if (!internal->opts.quiet)
-#endif
     if (print || internal->opts.verbose > 0)
       MSG ("traced %" PRId64 " added and %" PRId64 " deleted clauses",
            added, deleted);
+#endif
   _flushed = true;
 }