diff options
Diffstat (limited to 'compilerlibs')
| -rw-r--r-- | compilerlibs/Makefile.compilerlibs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/compilerlibs/Makefile.compilerlibs b/compilerlibs/Makefile.compilerlibs index 7e044d69be..c00bfe7b5b 100644 --- a/compilerlibs/Makefile.compilerlibs +++ b/compilerlibs/Makefile.compilerlibs @@ -233,7 +233,6 @@ ASMCOMP = \ file_formats/linear_format.cmo \ asmcomp/schedgen.cmo \ asmcomp/scheduling.cmo \ - asmcomp/branch_relaxation_intf.cmo \ asmcomp/branch_relaxation.cmo \ asmcomp/emitaux.cmo \ asmcomp/emit.cmo \ |