From d8e3cea7fd14c52e4dd5323b1e86c5b5bd9ade96 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Wed, 29 Apr 2020 02:58:49 -0700 Subject: [PATCH] put JProcname in IR/ Summary: This doesn't depend on the java frontend, as we can see from the fact that it was symlinked from java/ into java_stubs/. So instead of having these fake stubs (double negation!) put that file in IR/. Reviewed By: ngorogiannis Differential Revision: D21257469 fbshipit-source-id: 1c9e88bcc --- infer/src/{java => IR}/JProcname.ml | 0 infer/src/{java => IR}/JProcname.mli | 0 infer/src/java_stubs/JProcname.ml | 1 - infer/src/java_stubs/JProcname.mli | 1 - 4 files changed, 2 deletions(-) rename infer/src/{java => IR}/JProcname.ml (100%) rename infer/src/{java => IR}/JProcname.mli (100%) delete mode 120000 infer/src/java_stubs/JProcname.ml delete mode 120000 infer/src/java_stubs/JProcname.mli diff --git a/infer/src/java/JProcname.ml b/infer/src/IR/JProcname.ml similarity index 100% rename from infer/src/java/JProcname.ml rename to infer/src/IR/JProcname.ml diff --git a/infer/src/java/JProcname.mli b/infer/src/IR/JProcname.mli similarity index 100% rename from infer/src/java/JProcname.mli rename to infer/src/IR/JProcname.mli diff --git a/infer/src/java_stubs/JProcname.ml b/infer/src/java_stubs/JProcname.ml deleted file mode 120000 index c41c180bc..000000000 --- a/infer/src/java_stubs/JProcname.ml +++ /dev/null @@ -1 +0,0 @@ -../java/JProcname.ml \ No newline at end of file diff --git a/infer/src/java_stubs/JProcname.mli b/infer/src/java_stubs/JProcname.mli deleted file mode 120000 index d6015a7b9..000000000 --- a/infer/src/java_stubs/JProcname.mli +++ /dev/null @@ -1 +0,0 @@ -../java/JProcname.mli \ No newline at end of file