From 54c3ac41f283aa5fa07abbc3781a455cfca8eff1 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Wed, 9 Nov 2016 07:34:42 -0800
Subject: [PATCH] [inferprint] do not print all specs when passed individual
 specs files

Summary: This doesn't seem like like a useful feature.

Reviewed By: jeremydubreil

Differential Revision: D4148373

fbshipit-source-id: bfa1780
---
 infer/src/backend/InferPrint.re | 17 +++++------------
 1 file changed, 5 insertions(+), 12 deletions(-)

diff --git a/infer/src/backend/InferPrint.re b/infer/src/backend/InferPrint.re
index e3ebe8501..2681be3e8 100644
--- a/infer/src/backend/InferPrint.re
+++ b/infer/src/backend/InferPrint.re
@@ -1241,18 +1241,11 @@ let module AnalysisResults = {
       Inferconfig.test ();
       exit 0
     };
-    IList.append
-      (
-        if (Config.anon_args == ["."]) {
-          let arr = Sys.readdir ".";
-          let all_files = Array.to_list arr;
-          IList.filter
-            (fun fname => Filename.check_suffix fname Config.specs_files_suffix) all_files
-        } else {
-          Config.anon_args
-        }
-      )
-      (load_specfiles ())
+    if (Config.anon_args == []) {
+      load_specfiles ()
+    } else {
+      Config.anon_args
+    }
   };
 
   /** apply [f] to [arg] with the gc compaction disabled during the execution */