summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorKate <kit.ty.kate@disroot.org>2022-02-01 16:45:10 +0000
committerGitHub <noreply@github.com>2022-02-01 17:45:10 +0100
commit9453a903c818dfef161e0534cbef441b1950625c (patch)
treedc540a1308e85265e3a064e90d835cd3ae1a73e6 /Makefile
parent57c2fb9d5a8c005ac7bfe8785332487f905f68d6 (diff)
downloadocaml-9453a903c818dfef161e0534cbef441b1950625c.tar.gz
Remove configuration options --disable-force-safe-string and DEFAULT_STRING=unsafe (#10893)
The compiler should behave as previous versions with `force-safe-string` enabled, and reject with an error any explicit setting that would try to deviate from that.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions