diff options
Diffstat (limited to 'rules/host-mpfr.in')
-rw-r--r-- | rules/host-mpfr.in | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/rules/host-mpfr.in b/rules/host-mpfr.in deleted file mode 100644 index 4887ba4..0000000 --- a/rules/host-mpfr.in +++ /dev/null @@ -1,5 +0,0 @@ -## SECTION=hosttools_noprompt - -config HOST_MPFR - select HOST_GMP - bool |