From 61f58ff3aa169d90945212dade652c60966a2acf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= Date: Fri, 16 Feb 2024 11:44:01 +0100 Subject: Remove unnecessary file:pid2name call --- core/erlc.mk | 1 - 1 file changed, 1 deletion(-) diff --git a/core/erlc.mk b/core/erlc.mk index 7c94907..b8555b7 100644 --- a/core/erlc.mk +++ b/core/erlc.mk @@ -224,7 +224,6 @@ define makedep.erl end, MakeDepend = fun (F, Fd, Mod, StartLocation) -> - {ok, Filename} = file:pid2name(Fd), case io:parse_erl_form(Fd, undefined, StartLocation) of {ok, AbsData, EndLocation} -> case AbsData of -- cgit v1.2.3